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-1adf> [Principia] eggrobin closed pull request #3662: Refactor equipotentials - https://github.com/mockingbirdnest/Principia/pull/3662
_whitelogger has joined #principia
<_whitenotifier-1adf> [Principia] eggrobin opened pull request #3664: typename - https://github.com/mockingbirdnest/Principia/pull/3664
<_whitenotifier-1adf> [Principia] eggrobin closed pull request #3664: typename - https://github.com/mockingbirdnest/Principia/pull/3664
_whitelogger has joined #principia
<_whitenotifier-1adf> [Principia] eggrobin opened pull request #3665: Another typename - https://github.com/mockingbirdnest/Principia/pull/3665
<_whitenotifier-1adf> [Principia] eggrobin closed pull request #3665: Another typename - https://github.com/mockingbirdnest/Principia/pull/3665
<_whitenotifier-1adf> [Principia] eggrobin closed pull request #3663: Report test failures in the diff - https://github.com/mockingbirdnest/Principia/pull/3663
_whitelogger has joined #principia
<_whitenotifier-1adf> [Principia] eggrobin opened pull request #3666: Report more errors in the diff - https://github.com/mockingbirdnest/Principia/pull/3666
_whitelogger has joined #principia
<queqiao-> ⟨egg⟩ ⟪Starmincer⟫ Sunbathing here. ⮪ cat!
<queqiao-> ⟨egg⟩ huh, the bridge still calls you Starmincer.
<paculino> It is unusual
<queqiao-> ⟨Starmincer⟩ Huh weird
<paculino> Somewhere else I was at once had the issue of one person (only one person) not having anything go across the bridge, even after reinstallation twice.
<_whitenotifier-1adf> [Principia] eggrobin closed pull request #3666: Report more errors in the diff - https://github.com/mockingbirdnest/Principia/pull/3666
<_whitenotifier-1adf> [Principia] eggrobin opened pull request #3667: Bring back the typename - https://github.com/mockingbirdnest/Principia/pull/3667
<_whitenotifier-1adf> [Principia] eggrobin closed pull request #3667: Bring back the typename - https://github.com/mockingbirdnest/Principia/pull/3667