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…
<queqiao-> ⟨kwat⟩ Before opening a github issue, this worth reporting / related to principia? i believe i can repro it with a journal.
<queqiao-> Log file created at: 2024/04/08 20:12:23
<queqiao-> Running on machine: STATION21
<queqiao-> Log line format: [IWEF]mmdd hh:mm:ss.uuuuuu threadid file:line] msg
_whitelogger has joined #principia
_whitelogger has joined #principia
<queqiao-> ⟨sichelgaita⟩ In general, bugs are worth reporting, because bugs that we don't know about don't get fixed. However, before reporting a bug, you should make sure that you are using the latest version of Principia. In the case at hand, I am ready to bet that you are using Канторович, and this exact bug was fixed in Καραθεοδωρή. So please upgrade.
<_whitenotifier-c1cb> [Principia] pleroy opened pull request #3972: Fix sin/cos tolerances on Linux - https://github.com/mockingbirdnest/Principia/pull/3972
_whitelogger has joined #principia
<_whitenotifier-c1cb> [Principia] pleroy closed pull request #3972: Fix sin/cos tolerances on Linux - https://github.com/mockingbirdnest/Principia/pull/3972
_whitelogger has joined #principia
<_whitenotifier-cec0> [Principia] pleroy opened pull request #3973: More precise error estimate for elementary functions - https://github.com/mockingbirdnest/Principia/pull/3973
<queqiao-> ⟨kwat⟩ That fixed it, i'm sorry, didn't realize i wasn't using the latest version.
<queqiao-> ⟨lpg4999⟩ clearly the message in the principia window is too easy to ignore. make it bold, red and blinking
<queqiao-> ⟨egg⟩ So you are saying we should bring back issue #2249? :-p https://discord.com/channels/319857228905447436/480397772248580098/623786038636314644