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…
<_whitenotifier-1f03> [Principia] rnlahaye opened pull request #3316: Added time units to benchmarks - https://github.com/mockingbirdnest/Principia/pull/3316
UmbralRaptop has quit [Ping timeout: 189 seconds]
UmbralRaptop has joined #principia
raptop has quit [Ping timeout: 189 seconds]
UmbralRaptop has quit [Quit: Bye]
UmbralRaptop has joined #principia
raptop has joined #principia
UmbralRaptop has quit [Ping timeout: 189 seconds]
raptop has quit [Ping timeout: 192 seconds]
UmbralRaptop has joined #principia
raptop has joined #principia
<_whitenotifier-1f03> [Principia] pleroy commented on pull request #3315: Resolution of linear systems - https://github.com/mockingbirdnest/Principia/pull/3315#issuecomment-1028703815
<_whitenotifier-1f03> [Principia] eggrobin commented on pull request #3316: Added time units to benchmarks - https://github.com/mockingbirdnest/Principia/pull/3316#issuecomment-1028724857
<queqiao-> ⟨badgermasher⟩ First few hours with the new release have been very pleasant. 👍
<_whitenotifier-1f03> [Principia] rnlahaye commented on pull request #3316: Added time units to benchmarks - https://github.com/mockingbirdnest/Principia/pull/3316#issuecomment-1029193316
<_whitenotifier-1f03> [Principia] pleroy commented on pull request #3316: Added time units to benchmarks - https://github.com/mockingbirdnest/Principia/pull/3316#issuecomment-1029222397
<_whitenotifier-1f03> [Principia] pleroy closed pull request #3315: Resolution of linear systems - https://github.com/mockingbirdnest/Principia/pull/3315
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 189 seconds]
bees has quit []
bees has joined #principia
armed_troop has quit [Ping timeout: 195 seconds]
UmbralRaptop has joined #principia
armed_troop has joined #principia
UmbralRaptor has quit [Ping timeout: 189 seconds]
UmbralRaptor has joined #principia
UmbralRaptop has quit [Ping timeout: 189 seconds]