#principia on 2020-10-10 — irc logs at esper.irclog.whitequark.org

2020-10-04 04:55 raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Gateaux. We currently target 1.8.1, 1.9.1, and 1.10.1. <scott_manley> anyone that doubts the wisdom of retrograde bop needs to get the hell out | https://xkcd.com/323/ | <egg> calculating the influence of lamont on Pluto is a bit silly… | <egg> also 4e16 m * 2^-52 is uncomfortably large

00:58 egg|cell|egg has quit [Ping timeout: 194 seconds]

01:35 kmath has joined #principia

03:29 Moistmelon has quit [Ping timeout: 378 seconds]

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

04:07 Mike` has joined #principia

04:48 Blu3wolf has joined #principia

07:09 egg|laptop|egg has joined #principia

07:10 egg|laptop|egg has quit [Remote host closed the connection]

07:14 egg has quit [Ping timeout: 198 seconds]

07:16 egg|laptop|egg has joined #principia

07:18 egg has joined #principia

07:37 egg|laptop|egg has quit [Remote host closed the connection]

07:42 egg|laptop|egg has joined #principia

08:31 egg|laptop|egg has quit [Remote host closed the connection]

09:39 discord-_ has quit [Read error: Connection reset by peer]

09:40 egg has quit [Read error: Connection reset by peer]

09:46 egg has joined #principia

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

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

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

10:47 Blu3wolf has quit [Remote host closed the connection]

10:47 Blu3wolf has joined #principia

11:37 Blu3wolf has quit [Quit: Konversation terminated!]

11:49 discord- has joined #principia

11:49 discord- has quit [Read error: Connection reset by peer]

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

14:30 Moistmelon has joined #principia

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

15:31 raptop has quit [Ping timeout: 189 seconds]

15:31 UmbralRaptor has quit [Ping timeout: 204 seconds]

15:47 Mike` has quit [Ping timeout: 198 seconds]

15:47 Mike` has joined #principia

16:11 UmbralRaptop has joined #principia

16:14 raptop has joined #principia

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

17:06 raptop has quit [Read error: Connection reset by peer]

17:08 raptop has joined #principia

18:56 <egg|cell|egg> PSA : I think the discord bridge fell over

18:59 <raptop> blarg

19:33 raptop has quit [Ping timeout: 378 seconds]

19:38 raptop has joined #principia

20:15 egg has joined #principia

20:19 discord- has joined #principia

20:19 discord- has quit [Read error: Connection reset by peer]

21:12 egg|cell|egg has quit [Ping timeout: 204 seconds]

23:35 egg|laptop|egg has joined #principia

23:49 discord- has joined #principia

23:49 <egg|laptop|egg> test

23:49 <discord-> egg. — test

23:49 <egg|laptop|egg> OK, the bridge is back.