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> [Principia] pleroy opened pull request #3867: More tolerance changes in the diurnal test - https://github.com/mockingbirdnest/Principia/pull/3867
<_whitenotifier-1c82> [Principia] pleroy closed pull request #3867: More tolerance changes in the diurnal test - https://github.com/mockingbirdnest/Principia/pull/3867
<_whitenotifier-1c82> [Principia] eggrobin opened pull request #3868: Next release is Канторович - https://github.com/mockingbirdnest/Principia/pull/3868
<_whitenotifier> [Principia] eggrobin closed pull request #3868: Next release is Канторович - https://github.com/mockingbirdnest/Principia/pull/3868
_whitelogger has joined #principia
<_whitenotifier> [Principia] pleroy tagged 4cfb022 as 2024020923-掛谷 https://github.com/mockingbirdnest/Principia/commit/4cfb022be86a3fd8eb4188f5bb87c9c125c63ef0
<_whitenotifier> [Principia] pleroy created tag 2024020923-掛谷 - https://github.com/mockingbirdnest/Principia
raptop has joined #principia
raptop has quit [Quit: leaving]