egg changed the topic of #principia to: READ THE FAQ: http://goo.gl/gMZF9H; The current version is Germain. We currently target 1.8.1, 1.9.1, 1.10.1, and 1.11.0. <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
<discord-> l​pg. — I thought it was well established at this point that birds are dinosaurs (which... also don't exist, I suppose)
<discord-> b​adgermasher. — Is that from the goofy Look Around You series?
<discord-> b​adgermasher. — Is that from the ~~goofy~~ very serious Look Around You series? (edited)
<discord-> D​RVeyl. — I don't recall the original source, unfortunately.
<raptop> It is, and I am not responsible if any of you cause a Helvetica Scenario. Let alone an Unscheduled Arial Excursion
<discord-> b​adgermasher. — I'm only familiar with cDonalds Theorem
<discord-> l​amont. — trappist
<raptop> The astronomers who did the survey do love their beer
<raptop> Also, the followup survey is named SPECULOOS
<discord-> e​gg. — 🇧🇪
egg|laptop|egg has joined #principia
Mike` has quit [Ping timeout: 204 seconds]
Mike` has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|anbo|egg_ has joined #principia
egg|anbo|egg has quit [Ping timeout: 204 seconds]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
<_whitenotifier-8975> [Principia] apricot-azumi closed issue #2861: Command Pod exploded due to infinite G. Other parts are unaffected - https://git.io/JtJK2
<_whitenotifier-8975> [Principia] apricot-azumi commented on issue #2861: Command Pod exploded due to infinite G. Other parts are unaffected - https://git.io/Jt4gB
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|laptop|egg has joined #principia
discord- has quit [Ping timeout: 189 seconds]
oeuf has quit [Ping timeout: 189 seconds]
egg has joined #principia
discord- has joined #principia
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has joined #principia
<discord-> A​shnoom. — La trappe <3
<raptop> This sounds relevant to egg|cell|egg's ongoing instrumentation considerations https://arxiv.org/abs/1711.05892
egg|laptop|egg has joined #principia
egg|laptop|egg has quit [Remote host closed the connection]
egg|cell|egg has quit [Ping timeout: 189 seconds]
egg|cell|egg has joined #principia
egg|cell|egg has quit [Ping timeout: 204 seconds]
egg|cell|egg has joined #principia
<discord-> B​utcher. — My cat is asleep I cannot move in case I disturb him. ☹️