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-4a58> [Principia] eggrobin closed pull request #3536: Consider the orbit of the Sun around the Earth - https://github.com/mockingbirdnest/Principia/pull/3536
_whitelogger has joined #principia
queqiao- has quit [Ping timeout: 190 seconds]
queqiao- has joined #principia
<_whitenotifier-4a58> [Principia] pleroy closed pull request #3541: Renamespace numerics - https://github.com/mockingbirdnest/Principia/pull/3541
<_whitenotifier-4a58> [Principia] pleroy opened pull request #3542: Renamespace testing utilities - https://github.com/mockingbirdnest/Principia/pull/3542
<_whitenotifier-4a58> [Principia] pleroy closed pull request #3542: Renamespace testing utilities - https://github.com/mockingbirdnest/Principia/pull/3542
_whitelogger has joined #principia