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
raptop has quit [Ping timeout: 207 seconds]
_whitelogger has joined #principia
_whitelogger has joined #principia
<queqiao-> ⟨butcher6994⟩ Christmas cat
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-bad2> [Principia] eggrobin opened pull request #4141: Next release is Kummer. - https://github.com/mockingbirdnest/Principia/pull/4141
<_whitenotifier-bad2> [Principia] eggrobin closed pull request #4141: Next release is Kummer. - https://github.com/mockingbirdnest/Principia/pull/4141
<_whitenotifier-bad2> [Principia] pleroy tagged ab20f57 as 2024120106-Крылов https://github.com/mockingbirdnest/Principia/commit/ab20f57d95403041917a78cf8a034cecc70409d1
<_whitenotifier-bad2> [Principia] pleroy created tag 2024120106-Крылов - https://github.com/mockingbirdnest/Principia
raptop has joined #principia
<queqiao-> ⟨kaborl⟩ Awww it's Purr Noel
_whitelogger has joined #principia
<queqiao-> ⟨qazerowl⟩ I show my coworkers every time you post him. We all love him!
<queqiao-> ⟨egg⟩ I am not posting this release on the fora, as they just 502ed on me after I had drafted the change to the OP.