egg changed the topic of #principia to: Logs: https://esper.irclog.whitequark.org/principia | <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…
<queqiao-> ⟨KSP Atlas⟩ Less go
<queqiao-> ⟨egg⟩ More chess
<raptop> how about a nice game of global thermonuclear war?
raptop has quit [Ping timeout: 186 seconds]
paculino has joined #principia
raptop has joined #principia
<kitty> 🐈 (testing if this is all working for someone jkladfslkjsdf)
<kitty> yep
<_whitenotifier-72da> [Principia] pleroy closed pull request #3509: Next release is Householder - https://github.com/mockingbirdnest/Principia/pull/3509
_whitelogger has joined #principia
_whitelogger has joined #principia
queqiao- has quit [Ping timeout: 189 seconds]
queqiao- has joined #principia
<_whitenotifier-72da> [Principia] eggrobin opened pull request #3511: Allow a sign after figure spaces - https://github.com/mockingbirdnest/Principia/pull/3511
Jesin has quit [Quit: Leaving]