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-> ⟨egg⟩ Happy new year (Coordinated Universal Time)
<queqiao-> ⟨egg⟩ the year of the rabbit is the year of the cat in VN
_whitelogger has joined #principia
<_whitenotifier-7bc1> [Principia] eggrobin commented on issue #3321: Renamespacing - https://github.com/mockingbirdnest/Principia/issues/3321#issuecomment-1368440690
<_whitenotifier-7bc1> [Principia] pleroy opened pull request #3495: A benchmark for orbital elements - https://github.com/mockingbirdnest/Principia/pull/3495
_whitelogger has joined #principia
<_whitenotifier-7bc1> [Principia] pleroy closed pull request #3495: A benchmark for orbital elements - https://github.com/mockingbirdnest/Principia/pull/3495