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…
<_whitenotifier-c1cb> [Skopos] Capkirk123 opened issue #7: Skopos hides commnet connection lines when it shouldn't - https://github.com/mockingbirdnest/Skopos/issues/7
raptop has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-c1cb> [Principia] pleroy closed pull request #3976: Mathematica output of cpp_bin_float - https://github.com/mockingbirdnest/Principia/pull/3976
<_whitenotifier-cec0> [Principia] pleroy opened pull request #3977: Support for creating accurate tables for multiple functions simultaneously - https://github.com/mockingbirdnest/Principia/pull/3977
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
raptop has quit [Ping timeout: 183 seconds]
<_whitenotifier-c1cb> [Principia] pleroy closed pull request #3977: Support for creating accurate tables for multiple functions simultaneously - https://github.com/mockingbirdnest/Principia/pull/3977
raptop has joined #principia
<_whitenotifier-cec0> [Principia] pleroy opened pull request #3978: Add support for constructing accurate values in parallel - https://github.com/mockingbirdnest/Principia/pull/3978
raptop has quit [Ping timeout: 183 seconds]
raptop has joined #principia
raptop has quit [Client Quit]
<queqiao-> ⟨raptop | ²³⁹Pu powered⟩ Things that Principia might be able to do. Also perhaps something to point some planet modders at? https://arxiv.org/abs/2404.06567
_whitelogger has joined #principia
<queqiao-> ⟨butcher6994⟩ egg do you have a new cat?
<queqiao-> ⟨egg⟩ No, that is a cat I saw in Venice
<queqiao-> ⟨meddz0865⟩ # https://discord.gg/hotgirlss @everyone
<paculino> It's really convenient of the spammers and scammers to always use the obvious stuff
<queqiao-> ⟨razgriz16⟩ This seems to be one of the better moderated discord servers in that regard