#principia on 2018-08-06 — 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/

01:28 UmbralRaptor has quit [Ping timeout: 202 seconds]

01:32 UmbralRaptop has joined #principia

01:59 Daz has quit [Remote host closed the connection]

02:00 Daz has joined #principia

02:11 egg|phone|egg has quit [Remote host closed the connection]

02:11 egg|phone|egg has joined #principia

03:21 * UmbralRaptop ponders future names. Déscartes, Eudoxus, Euler, …?

04:06 Tortoise767 has joined #principia

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

07:07 Tortoise767 has quit [Ping timeout: 202 seconds]

07:12 NolanSyKinsley has quit [Remote host closed the connection]

11:06 egg|work|egg has joined #principia

12:12 Wetmelon has joined #principia

12:18 Wetmelon has quit [Ping timeout: 194 seconds]

15:27 Tortoise767 has joined #principia

15:54 NolanSyKinsley has joined #principia

15:54 NolanSyKinsley has quit [Read error: Connection reset by peer]

15:55 NolanSyKinsley has joined #principia

15:57 egg|work|egg has quit [Quit: webchat.esper.net]

15:59 egg|work|egg has joined #principia

16:20 UmbralRaptop has quit [Quit: Bye]

16:21 UmbralRaptop has joined #principia

16:25 UmbralRaptop has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

16:25 UmbralRaptop has joined #principia

16:26 UmbralRaptop has quit [Read error: Connection reset by peer]

16:26 UmbralRaptor has joined #principia

16:27 UmbralRaptop has joined #principia

16:30 UmbralRaptor has quit [Ping timeout: 194 seconds]

16:56 Tortoise767 has quit [Remote host closed the connection]

18:26 awang has joined #principia

18:53 awang_ has joined #principia

18:55 awang has quit [Ping timeout: 202 seconds]

19:08 Jesin has joined #principia

19:25 Jesin has quit [Remote host closed the connection]

19:28 Jesin has joined #principia

19:34 Webchat_47029 has joined #principia

19:41 Raidernick has quit [Read error: Connection reset by peer]

19:43 Raidernick has joined #principia

19:57 Webchat_47029 has quit [Quit: webchat.esper.net]

20:07 NolanSyKinsley has quit [Ping timeout: 186 seconds]

21:59 Wetmelon has joined #principia

22:09 NolanSyKinsley has joined #principia

22:25 Jesin has quit [Remote host closed the connection]

22:57 NolanSyKinsley has quit [Ping timeout: 198 seconds]

22:58 NolanSyKinsley has joined #principia

23:03 Jesin has joined #principia

23:21 Jesin has quit [Remote host closed the connection]

23:29 Jesin has joined #principia