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
paculino has quit [Ping timeout: 207 seconds]
_whitelogger has joined #principia
_whitelogger has joined #principia
raptop has quit [Ping timeout: 183 seconds]
raptop has joined #principia
<_whitenotifier-bad2> [Principia] pleroy tagged 9e2651e as 2025012913-Kuratowski https://github.com/mockingbirdnest/Principia/commit/9e2651e27e471cd92364685dc921a4c8323a72c3
<_whitenotifier-bad2> [Principia] pleroy created tag 2025012913-Kuratowski - https://github.com/mockingbirdnest/Principia
_whitelogger has joined #principia
raptop has quit [Ping timeout: 190 seconds]
raptop has joined #principia
<_whitenotifier-bad2> [Principia] pleroy opened pull request #4161: Do not preserve the sign in argument reduction if computing a Cos - https://github.com/mockingbirdnest/Principia/pull/4161
paculino has joined #principia
<_whitenotifier-bad2> [Principia] pleroy closed pull request #4161: Do not preserve the sign in argument reduction if computing a Cos - https://github.com/mockingbirdnest/Principia/pull/4161
raptop has quit [Ping timeout: 207 seconds]