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…
paculino has quit [Remote host closed the connection]
umbralraptop has quit [Ping timeout: 183 seconds]
umbralraptop has joined #principia
<queqiao--> <B​en​ji​> Spelling from ksa to enjoy: rendevous
<queqiao--> <C​la​ye​l> i blame french
<_whitenotifier-b8cd> [Principia] pleroy closed pull request #4236: Add support for truncating the mantissa of a floating-point value - https://github.com/mockingbirdnest/Principia/pull/4236
<_whitenotifier-b8cd> [Principia] pleroy closed pull request #4235: Add a wrapper, Exact, to indicate that the evaluation of an operation doesn't entail an error - https://github.com/mockingbirdnest/Principia/pull/4235
paculino has joined #principia
umbralraptop has quit [Ping timeout: 190 seconds]
umbralraptop has joined #principia
<umbralraptop> things Principia can't do: https://arxiv.org/abs/2507.01569
<umbralraptop> (well, partially)
umbralraptop has quit [Ping timeout: 190 seconds]