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
<_whitenotifier-9244> [Principia] rnlahaye commented on issue #2746: Crash when jettisoning Mercury retropack - https://git.io/JUdxi
<_whitenotifier-9244> [Principia] rnlahaye closed issue #2746: Crash when jettisoning Mercury retropack - https://git.io/JUQwg
egg|laptop|egg has quit [Remote host closed the connection]
Moistmelon has quit [Ping timeout: 378 seconds]
<raptop> egg: does this mean that you should do an update to one of the Principia systems? https://arxiv.org/abs/2010.01074
Moistmelon has joined #principia
armed_troop has quit [Ping timeout: 194 seconds]
Mike` has quit [Ping timeout: 198 seconds]
Mike` has joined #principia
armed_troop has joined #principia
Blu3wolf has joined #principia
Moistmelon has quit [Ping timeout: 189 seconds]
raptop has quit [Ping timeout: 378 seconds]
<_whitenotifier-9244> [Principia] stevemeacham forked the repository - https://git.io/JUF2W
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
raptop has joined #principia
VITAS has joined #principia
UmbralRaptop has quit [Ping timeout: 204 seconds]
UmbralRaptop has joined #principia
raptop_ has joined #principia
raptop has quit [Ping timeout: 198 seconds]
raptop_ has quit [Ping timeout: 378 seconds]
raptop has joined #principia
Blu3wolf has quit [Quit: Konversation terminated!]
Jesin has quit [Quit: Leaving]
Jesin has joined #principia
<_whitenotifier-9244> [Principia] argklm starred Principia - https://git.io/JUbAQ
<raptop> egg et al: has hacktoberfest resulted in any dubious commit attempts?
<discord-> P​teropodidae. — Not sure about before October 3rd, but it seems after that point it's opt-in: https://hacktoberfest.digitalocean.com/hacktoberfest-update