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--> <Δ​v1​㎧> Approximately cats: https://possumeveryhour.io/
<_whitenotifier-3b5f> [Principia] pleroy closed pull request #4271: Move algebra-related concepts to geometry - https://github.com/mockingbirdnest/Principia/pull/4271
<_whitenotifier-3b5f> [Principia] pleroy opened pull request #4272: Rationalize the handling of Boost multiprecision types - https://github.com/mockingbirdnest/Principia/pull/4272