#principia on 2018-07-10 — irc logs at esper.irclog.whitequark.org

2018-06-21 22:06 egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Dedekind. We currently target 1.3.1, and 1.4.3. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/

00:12 UmbralRaptop has joined #principia

00:48 Wetmelon has quit [Ping timeout: 194 seconds]

01:01 egg|cell|egg has quit [Remote host closed the connection]

01:01 egg|phone|egg has joined #principia

01:14 Wetmelon has joined #principia

04:02 Mike` has quit [Ping timeout: 182 seconds]

04:08 Mike` has joined #principia

05:25 NolanSyKinsley has quit [Remote host closed the connection]

06:27 Wetmelon has quit [Ping timeout: 194 seconds]

07:24 egg|z|egg has joined #principia

07:57 egg|z|egg has quit [Ping timeout: 198 seconds]

08:01 egg|z|egg has joined #principia

08:59 egg|z|egg has quit [Ping timeout: 198 seconds]

10:31 lashtear has quit [Ping timeout: 202 seconds]

10:35 lashtear has joined #principia

12:29 egg|phone|egg has quit [Ping timeout: 194 seconds]

13:07 UmbralRaptop has quit [Ping timeout: 202 seconds]

13:43 egg|phone|egg has joined #principia

15:19 NolanSyKinsley has joined #principia

16:11 UmbralRaptop has joined #principia

16:40 UmbralRaptop has quit [Quit: Bye]

16:40 UmbralRaptop has joined #principia

16:45 UmbralRaptor has joined #principia

16:49 UmbralRaptop has quit [Ping timeout: 198 seconds]

18:07 awang has quit [Ping timeout: 194 seconds]

18:10 awang has joined #principia

18:44 awang has quit [Ping timeout: 198 seconds]

18:45 awang has joined #principia

19:12 awang_ has joined #principia

19:14 awang has quit [Ping timeout: 182 seconds]

20:26 saolof has joined #principia

20:29 egg|z|egg has joined #principia

20:38 lamont has quit [Ping timeout: 194 seconds]

20:39 lamont has joined #principia

20:40 <GH> [Principia] pleroy pushed 1 new commit to master: https://git.io/fNTVc

20:40 <GH> Principia/master 4d8af74 Pascal Leroy: Remove Dedekind.

21:14 oeuf has joined #principia

21:17 egg|paris|egg has quit [Ping timeout: 202 seconds]

21:25 oeuf is now known as egg|paris|egg

21:44 Toast has joined #principia

21:55 <Toast> Im to stupid to move my maneuver nodes... D: help me please :) ?

23:05 egg|z|egg has quit [Ping timeout: 194 seconds]

23:08 egg|z|egg has joined #principia

23:24 Toast has quit [Quit: webchat.esper.net]

23:58 egg|z|egg has quit [Ping timeout: 198 seconds]