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…
armed_troop has quit [Quit: Bye]
armed_troop has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<queqiao-> ⟨.auer⟩ thanks for the "optimize" button
_whitelogger has joined #principia
<queqiao-> ⟨sichelgaita⟩ Good to hear that it's useful. It kept me busy all summer.
_whitelogger has joined #principia
<_whitenotifier> [Principia] pleroy opened pull request #3854: Change the zero-free test of the Чебышёв series to take an error estimate - https://github.com/mockingbirdnest/Principia/pull/3854
<_whitenotifier-1c82> [Principia] pwnorbitals commented on issue #1720: CKAN Integration - https://github.com/mockingbirdnest/Principia/issues/1720#issuecomment-1908999721