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
<_whitenotifier-8b8d> [Principia] pleroy opened pull request #4110: Add support for angles in [-π/4, π/4] - https://github.com/mockingbirdnest/Principia/pull/4110
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
_whitelogger has joined #principia
<_whitenotifier-8b8d> [Principia] pleroy opened pull request #4111: A benchmark for our trigonometric functions and a few performance improvements - https://github.com/mockingbirdnest/Principia/pull/4111
<_whitenotifier-8b8d> [Principia] pleroy closed pull request #4110: Add support for angles in [-π/4, π/4] - https://github.com/mockingbirdnest/Principia/pull/4110
<_whitenotifier-8b8d> [Principia] pleroy commented on pull request #4110: Add support for angles in [-π/4, π/4] - https://github.com/mockingbirdnest/Principia/pull/4110#issuecomment-2398059575
<_whitenotifier-8b8d> [Principia] pleroy closed pull request #4111: A benchmark for our trigonometric functions and a few performance improvements - https://github.com/mockingbirdnest/Principia/pull/4111