#principia on 2018-07-24 — 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:06 lamont_ has quit [Quit: lamont_]

00:06 lamont_ has joined #principia

01:26 tfool has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

01:26 tfool has joined #principia

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

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

09:33 egg|phone|egg has joined #principia

09:35 egg|cell|egg has quit [Ping timeout: 186 seconds]

12:28 egg|cell|egg has joined #principia

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

12:33 egg|phone|egg has joined #principia

12:33 egg|cell|egg has quit [Read error: Connection reset by peer]

12:36 egg|cell|egg has joined #principia

12:36 egg|phone|egg has quit [Read error: Connection reset by peer]

12:37 egg|phone|egg has joined #principia

12:37 egg|cell|egg has quit [Read error: Connection reset by peer]

12:38 egg|cell|egg has joined #principia

12:39 egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

12:40 egg|phone|egg has joined #principia

12:40 egg|cell|egg has quit [Read error: Connection reset by peer]

12:42 egg|cell|egg has joined #principia

12:43 egg|phone|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

12:43 egg|cell|egg has quit [Read error: Connection reset by peer]

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

12:56 egg|phone|egg has quit [Ping timeout: 198 seconds]

13:05 awang has joined #principia

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

13:12 egg|cell|egg has joined #principia

13:14 egg|phone|egg has quit [Ping timeout: 202 seconds]

13:36 NolanSyKinsley has joined #principia

14:25 egg|phone|egg has joined #principia

14:27 egg|cell|egg has quit [Ping timeout: 198 seconds]

14:28 egg|phone|egg has quit [Ping timeout: 182 seconds]

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

15:35 Technicalfool_ has joined #principia

15:38 tfool has quit [Ping timeout: 182 seconds]

16:50 Qboid was kicked from #principia by *status [You have been disconnected from the IRC server]

16:51 Qboid has joined #principia

17:06 awang has quit [Ping timeout: 194 seconds]

17:06 awang has joined #principia

18:13 lamont_ has quit [Quit: lamont_]

18:24 lamont_ has joined #principia

19:50 lamont_ has quit [Quit: lamont_]

19:58 lamont_ has joined #principia

19:58 UmbralRaptop has quit [Remote host closed the connection]

20:03 UmbralRaptop has joined #principia

20:03 egg|phone|egg has quit [Ping timeout: 194 seconds]

21:03 Jesin has quit [Quit: Leaving]

21:06 Jesin has joined #principia

21:33 egg|phone|egg has joined #principia

22:01 Jesin has quit [Quit: Leaving]

22:02 Wetmelon has joined #principia

22:22 lamont__ has joined #principia

22:22 lamont has quit [Ping timeout: 194 seconds]

22:22 lamont__ is now known as lamont

23:21 Jesin has joined #principia