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…
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-8b8d> [Principia] eggrobin opened pull request #4103: Next release is Kronecker. - https://github.com/mockingbirdnest/Principia/pull/4103
<_whitenotifier-8b8d> [Principia] eggrobin closed pull request #4103: Next release is Kronecker. - https://github.com/mockingbirdnest/Principia/pull/4103
<_whitenotifier-8b8d> [Principia] pleroy created tag 2024100219-Колмогоров - https://github.com/mockingbirdnest/Principia
<_whitenotifier-8b8d> [Principia] pleroy tagged eeaedd3 as 2024100219-Колмогоров https://github.com/mockingbirdnest/Principia/commit/eeaedd30027c16e00dfcd82e0fe90745ba24beff
_whitelogger has joined #principia