#principia on 2018-06-29 — 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:01 GregroxMun has joined #principia

00:01 <GregroxMun> o/

00:03 <GregroxMun> \o

00:03 GregroxMun has quit [Client Quit]

00:18 egg|z|egg has quit [Ping timeout: 194 seconds]

00:26 egg|phone|egg has joined #principia

01:00 egg|phone|egg has quit [Ping timeout: 194 seconds]

01:13 Wetmelon has joined #principia

02:19 uj8efdjkfdshf has joined #principia

03:28 Wetmelon has quit [Ping timeout: 194 seconds]

04:02 Mike has quit [Ping timeout: 198 seconds]

04:08 Mike has joined #principia

04:22 awang has quit [Ping timeout: 182 seconds]

04:24 awang has joined #principia

04:29 uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]

07:41 uj8efdjkfdshf has joined #principia

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

08:16 egg|z|egg has quit [Ping timeout: 202 seconds]

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

08:35 egg|z|egg has quit [Ping timeout: 194 seconds]

09:04 NolanSyKinsley has quit [Remote host closed the connection]

09:12 egg|z|egg has joined #principia

09:43 egg|z|egg has quit [Ping timeout: 202 seconds]

10:02 egg|z|egg has joined #principia

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

10:31 uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]

10:45 egg|phone|egg has joined #principia

11:18 egg|cell|egg has joined #principia

11:18 egg|phone|egg has quit [Read error: Connection reset by peer]

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

11:23 egg|cell|egg has quit [Ping timeout: 194 seconds]

11:59 SilverFox has quit [*.net *.split]

11:59 egg has quit [*.net *.split]

11:59 Technicalfool has quit [*.net *.split]

11:59 Thomas has quit [*.net *.split]

11:59 Raidernick has quit [*.net *.split]

12:00 Raidernick has joined #principia

12:01 egg has joined #principia

12:01 Technicalfool has joined #principia

12:03 SilverFox has joined #principia

12:03 1CSAAA0FV has joined #principia

12:03 Thomas has joined #principia

12:03 1CSAAAITF has joined #principia

12:03 1CSAAAZ7O has joined #principia

12:03 1CSAAA0FV has quit [Ping timeout: 194 seconds]

12:03 1CSAAAITF has quit [Ping timeout: 194 seconds]

12:03 SilverFox has quit [Ping timeout: 194 seconds]

12:03 1CSAAAZ7O has quit [Ping timeout: 194 seconds]

12:05 SilverFox has joined #principia

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

12:07 egg|mobile|egg has joined #principia

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

12:08 egg|phone|egg has quit [Ping timeout: 202 seconds]

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

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

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

12:23 egg|mobile|egg has quit [Read error: Connection reset by peer]

12:25 Wetmelon has joined #principia

12:46 ferram4 has quit [Ping timeout: 202 seconds]

12:53 ferram4 has joined #principia

12:58 ferram4 has quit [Ping timeout: 202 seconds]

13:18 rsparkyc has joined #principia

13:26 ferram4 has joined #principia

14:16 NolanSyKinsley has joined #principia

15:00 rsparkyc_ has joined #principia

15:00 Thomas_ has joined #principia

15:02 rsparkyc has quit [*.net *.split]

15:02 Thomas has quit [*.net *.split]

15:02 rsparkyc_ is now known as rsparkyc

15:02 Thomas_ is now known as Thomas

15:32 UmbralRaptor has quit [Remote host closed the connection]

15:33 UmbralRaptop has joined #principia

15:34 UmbralRaptop has quit [Remote host closed the connection]

15:36 UmbralRaptop has joined #principia

16:27 lamont has quit [Read error: Connection reset by peer]

16:34 lamont has joined #principia

16:42 egg|phone|egg has joined #principia

16:45 egg|phone|egg has quit [Read error: Connection reset by peer]

16:45 egg|cell|egg has quit [Ping timeout: 202 seconds]

16:52 egg|phone|egg has joined #principia

16:54 lamont has quit [Quit: lamont]

17:04 lamont has joined #principia

17:04 lamont has quit [Client Quit]

17:07 rsparkyc has quit [Quit: rsparkyc]

17:25 egg|cell|egg has joined #principia

17:25 egg|phone|egg has quit [Read error: Connection reset by peer]

17:31 egg|cell|egg has quit [Ping timeout: 202 seconds]

17:31 egg|z|egg has joined #principia

17:59 awang has quit [Ping timeout: 198 seconds]

18:00 awang has joined #principia

18:03 egg|z|egg has quit [Ping timeout: 182 seconds]

18:06 egg|z|egg has joined #principia

18:07 Mike has quit [Killed (NickServ (GHOST command used by mike_!~mike@2600:3c01::f03c:91ff:fe93:c5ec))]

18:07 Mike` has joined #principia

18:23 egg|z|egg has quit [Ping timeout: 202 seconds]

19:17 egg|z|egg has joined #principia

19:31 Majiir has quit [Ping timeout: 194 seconds]

19:34 egg|phone|egg has joined #principia

19:35 Snoozee has joined #principia

19:36 Snoozee is now known as Majiir

19:58 egg|z|egg has quit [Ping timeout: 194 seconds]

20:10 egg|phone|egg has quit [Ping timeout: 202 seconds]

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

20:21 egg|phone|egg is now known as egg|zzz|egg

21:05 egg|z|egg has joined #principia

21:20 egg|zzz|egg has quit [Ping timeout: 198 seconds]

21:36 awang has quit [Ping timeout: 198 seconds]

21:57 egg is now known as egg|zz|egg