#principia on 2018-07-02 — 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:24 armed_troop has joined #principia

00:54 NolanSyKinsley has joined #principia

00:58 uj8efdjkfdshf has joined #principia

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

04:08 Mike` has joined #principia

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

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

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

07:52 UmbralRaptor has quit [Quit: Bye]

07:52 UmbralRaptop has joined #principia

08:08 UmbralRaptor has joined #principia

08:10 UmbralRaptop has quit [Ping timeout: 194 seconds]

08:11 UmbralRaptor has quit [Client Quit]

09:15 egg|z|egg has quit [Ping timeout: 194 seconds]

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

09:45 egg|z|egg has quit [Ping timeout: 194 seconds]

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

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

10:15 Majiir has quit [Quit: CUT THE HARDLINES!!]

10:18 Snoozee has joined #principia

10:19 Snoozee is now known as Majiir

10:58 egg|cell|egg has joined #principia

10:58 egg|phone|egg has quit [Read error: Connection reset by peer]

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

11:03 egg|cell|egg has quit [Read error: Connection reset by peer]

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

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

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

13:14 egg|cell|egg has quit [Read error: Connection reset by peer]

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

13:15 egg|phone|egg has quit [Read error: Connection reset by peer]

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

13:16 egg|cell|egg has quit [Read error: Connection reset by peer]

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

13:31 egg|phone|egg has quit [Read error: Connection reset by peer]

13:33 egg|cell|egg has quit [Read error: -0x1: UNKNOWN ERROR CODE (0001)]

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

14:54 NolanSyKinsley has joined #principia

14:55 NolanSyKinsley has quit [Read error: Connection reset by peer]

14:55 NolanSyKinsley has joined #principia

15:39 Raidernick_ has joined #principia

15:42 Raidernick has quit [Ping timeout: 202 seconds]

15:57 egg|cell|egg has joined #principia

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

15:59 egg|cell|egg has quit [Read error: Connection reset by peer]

15:59 egg|phone|egg has quit [Read error: Connection reset by peer]

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

16:00 egg|mobile|egg has quit [Read error: Connection reset by peer]

16:01 egg|cell|egg has joined #principia

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

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

16:04 egg|cell|egg has quit [Ping timeout: 194 seconds]

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

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

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

16:51 egg|cell|egg has quit [Ping timeout: 198 seconds]

18:38 uj8efdjkfdshf has quit [Quit: Connection closed for inactivity]

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

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

19:02 egg|z|egg has quit [Ping timeout: 198 seconds]

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

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

19:37 Snoozee has joined #principia

19:37 Snoozee is now known as Majiir

19:42 UmbralRaptop has joined #principia

20:16 egg|cell|egg has joined #principia

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

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

20:51 egg|cell|egg has quit [Ping timeout: 198 seconds]

21:46 Jesin has joined #principia

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

23:20 Jesin has quit [Quit: Leaving]

23:26 Jesin has joined #principia

23:50 egg|phone|egg has quit [Ping timeout: 198 seconds]