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
queqiao- has quit [Ping timeout: 207 seconds]
paculino has joined #principia
paculino has quit [Remote host closed the connection]
_whitelogger has joined #principia
<_whitenotifier-d4c1> [Principia] eggrobin opened pull request #4085: Next release is Колмогоров - https://github.com/mockingbirdnest/Principia/pull/4085
<_whitenotifier-d4c1> [Principia] pleroy closed pull request #4085: Next release is Колмогоров - https://github.com/mockingbirdnest/Principia/pull/4085
<_whitenotifier-d4c1> [Principia] pleroy created tag 2024090302-von Koch - https://github.com/mockingbirdnest/Principia
<_whitenotifier-d4c1> [Principia] pleroy tagged 5e00ab7 as 2024090302-von Koch https://github.com/mockingbirdnest/Principia/commit/5e00ab7039474ae8685b846558af889cee0cacad
_whitelogger has joined #principia
<raptop> bridge seems down
paculino has joined #principia
paculino has quit [Ping timeout: 207 seconds]
_whitelogger has joined #principia