#principia on 2018-07-18 — 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:17 Jesin has joined #principia

02:19 N70 has quit [Quit: EliteBNC 1.6.5 - http://elitebnc.org]

02:29 N70 has joined #principia

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

04:05 ferram4_ has quit [Ping timeout: 182 seconds]

04:07 ferram4 has joined #principia

04:07 Mike` has joined #principia

05:32 Mike` has quit [Remote host closed the connection]

06:18 sdrodge has quit [Ping timeout: 182 seconds]

06:18 sdrodge has joined #principia

07:15 egg|phone|egg has joined #principia

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

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

08:04 egg|phone|egg has quit [Ping timeout: 182 seconds]

08:07 egg|cell|egg has quit [Ping timeout: 202 seconds]

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

08:09 egg|cell|egg has joined #principia

08:09 egg|phone|egg has quit [Read error: Connection reset by peer]

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

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

08:14 egg|cell|egg has joined #principia

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

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

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

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

08:25 egg|phone|egg has quit [Ping timeout: 194 seconds]

08:38 <UmbralRaptor> Wait, 1.4.5? http://kerbaldevteam.tumblr.com/post/175853875575

09:30 Wetmelon has quit [Ping timeout: 194 seconds]

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

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

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

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

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

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

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

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

12:55 awang has joined #principia

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

13:25 egg|phone|egg has quit [Ping timeout: 198 seconds]

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

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

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

13:45 egg|phone|egg has quit [Ping timeout: 198 seconds]

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

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

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

13:54 egg|phone|egg has quit [Ping timeout: 194 seconds]

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

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

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

14:04 egg|phone|egg has quit [Ping timeout: 186 seconds]

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

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

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

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

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

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

14:18 egg|phone|egg has quit [Ping timeout: 198 seconds]

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

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

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

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

14:30 egg|cell|egg has quit [Ping timeout: 194 seconds]

14:33 egg|phone|egg has quit [Ping timeout: 198 seconds]

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

14:37 egg|cell|egg has joined #principia

14:37 egg|phone|egg has quit [Read error: Connection reset by peer]

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

14:44 egg|work|egg has quit [Quit: webchat.esper.net]

15:11 NolanSyKinsley has joined #principia

16:23 Hypergolic_Skunk has joined #principia

17:11 ferram4 has quit [Ping timeout: 194 seconds]

17:29 ferram4 has joined #principia

18:31 Daz has quit [Read error: Connection reset by peer]

18:36 lamont_ has joined #principia

18:36 lamont has quit [Ping timeout: 186 seconds]

18:36 lamont_ is now known as lamont

19:38 Daz has joined #principia

20:44 lamont_ has joined #principia

20:44 lamont has quit [Ping timeout: 186 seconds]

20:44 lamont_ is now known as lamont

21:09 Hypergolic_Skunk has quit [Quit: Connection closed for inactivity]

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

22:58 Qboid_ has joined #principia

22:58 Dazzyp has joined #principia

23:00 NolanSyKinsley has quit [*.net *.split]

23:00 Daz has quit [*.net *.split]

23:00 Jesin has quit [*.net *.split]

23:00 Qboid has quit [*.net *.split]

23:00 Majiir has quit [*.net *.split]

23:00 Aexoden has quit [*.net *.split]

23:00 NCommander has quit [*.net *.split]

23:00 Dazzyp is now known as Daz

23:00 Qboid_ is now known as Qboid

23:01 Aexoden has joined #principia

23:05 NCommander has joined #principia

23:30 Snoozee has joined #principia

23:31 Snoozee is now known as Majiir