#principia on 2019-12-22 — irc logs at esper.irclog.whitequark.org

2019-12-17 18:24 raptop changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is פרנקל. We currently target 1.5.1, 1.6.1, and 1.7.x. <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:08 <discord-> Sir Mortimer. — Bienvenuda a miami!

00:09 <discord-> Sir Mortimer. — Bienvenidos a miami! (edited)

01:14 egg|anbo|egg_ is now known as egg|anbo|egg

01:36 <discord-> egg. — @Damien I don't have it particularly handy, it's in the backlog somewhere

01:36 <discord-> Damien. — It's ok I found it

01:38 egg|anbo|egg has quit [Remote host closed the connection]

01:42 egg|anbo|egg has joined #principia

02:03 egg|anbo|egg has quit [Remote host closed the connection]

02:55 Mike` has quit [Ping timeout: 190 seconds]

03:02 Mike` has joined #principia

05:01 Mike` has quit [Ping timeout: 190 seconds]

05:07 Mike` has joined #principia

05:35 Wetmelon has joined #principia

06:20 Wetmelon has quit [Ping timeout: 378 seconds]

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

09:31 egg|anbo|egg has joined #principia

09:50 <discord-> Butcher. — @Sir Mortimer 🎉

10:04 egg|anbo|egg has quit [Read error: Connection reset by peer]

10:04 egg|anbo|egg has joined #principia

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

12:36 egg|anbo|egg has quit [Remote host closed the connection]

12:39 egg|anbo|egg has joined #principia

14:29 egg|anbo|egg has quit [Remote host closed the connection]

16:12 egg|anbo|egg has joined #principia

16:53 Wetmelon has joined #principia

16:59 egg|anbo|egg has quit [Remote host closed the connection]

18:23 egg|anbo|egg has joined #principia

19:19 egg|anbo|egg has quit [Remote host closed the connection]

19:54 egg|anbo|egg has joined #principia

20:16 egg|anbo|egg has quit [Remote host closed the connection]

20:25 raptop has joined #principia

20:31 egg|anbo|egg has joined #principia

21:36 egg|anbo|egg has quit [Remote host closed the connection]

21:40 raptop has quit [Quit: leaving]

21:42 egg|anbo|egg has joined #principia

22:05 egg|anbo|egg_ has joined #principia

22:06 egg|anbo|egg has quit [Ping timeout: 378 seconds]

23:02 sdrodge has quit [Quit: WeeChat 2.6]

23:12 sdrodge has joined #principia

23:29 egg|anbo|egg_ has quit [Remote host closed the connection]

23:29 <discord-> Damien. — https://cdn.discordapp.com/attachments/480397772248580098/658451108515020800/screenshot0.png

23:29 <discord-> Damien. — https://cdn.discordapp.com/attachments/480397772248580098/658451112743141421/screenshot1.png

23:29 <discord-> Damien. — @egg polar rendezvous

23:30 <discord-> Damien. — https://cdn.discordapp.com/attachments/480397772248580098/658451381845360640/screenshot2.png

23:41 egg|anbo|egg has joined #principia

23:44 egg|cell|egg has quit [Ping timeout: 189 seconds]

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

23:52 egg|cell|egg has quit [Ping timeout: 202 seconds]