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
<queqiao-> ⟨necoarcstan⟩ I have decided to take the Principa pill...
<queqiao-> ⟨necoarcstan⟩ what does Max History length mean?
<queqiao-> ⟨necoarcstan⟩ new to Principa, is this supposed to look like this?
<queqiao-> ⟨theorionproject⟩ Flat earth confirmed. I would assume not.
<queqiao-> ⟨necoarcstan⟩ this is from far away solar system
<queqiao-> ⟨necoarcstan⟩ how do I turn on the orbits of the planets? I went to tracking station and it looks like this
<queqiao-> ⟨theorionproject⟩ Will principia use the remaining 400mb of RAM on my laptop?
<queqiao-> ⟨farrier_ds⟩ Before trying Principia it’s highly advised to read tutorial on it first.
<queqiao-> ⟨necoarcstan⟩ ill read it a little closer yea
<queqiao-> ⟨farrier_ds⟩ For whatever reason people tend to assume a lot of things about Principia…
<queqiao-> ⟨farrier_ds⟩ Before trying Principia it’s highly advised to read the tutorial on it first.
<queqiao-> ⟨vlood⟩ Yes, from a certain reference frame
_whitelogger has joined #principia
<queqiao-> ⟨sichelgaita⟩ Look through the window, the Sun rotates around you.
<queqiao-> ⟨butcher6994⟩ How many thousands of years did humans exist before we realised it's the reverse?
_whitelogger has joined #principia
<_whitenotifier> [Principia] pleroy opened pull request #3849: Improvements to Чебышёв polynomial approximants - https://github.com/mockingbirdnest/Principia/pull/3849
<queqiao-> ⟨sichelgaita⟩ According to Wikipedia, Aristarchus of Samos is the first person recorded to have speculated about heliocentrism, 23 centuries ago. Pity that we didn't have a Principia release named after him.
<queqiao-> ⟨alforath⟩ Well it's not exactly reverse ...
<_whitenotifier> [Principia] pleroy closed pull request #3849: Improvements to Чебышёв polynomial approximants - https://github.com/mockingbirdnest/Principia/pull/3849
<_whitenotifier> [Principia] pleroy opened pull request #3850: Adaptive Чебышёв polynomial interpolant with interval subdivision - https://github.com/mockingbirdnest/Principia/pull/3850
<_whitenotifier> [Principia] pleroy closed pull request #3850: Adaptive Чебышёв polynomial interpolant with interval subdivision - https://github.com/mockingbirdnest/Principia/pull/3850
<queqiao-> ⟨egg⟩ Hm, the bot seems to be working only one way?
egg|test|egg has joined #principia
<egg|test|egg> test
<queqiao-> ⟨egg⟩ OK no, that worked both ways. Why did the PR notifier messages not get through though?
<queqiao-> ⟨egg|matrix|egg⟩ Hm, they are not there on the matrix side.
egg|test|egg is now known as egg|irc|egg
<queqiao-> ⟨egg|matrix|egg⟩ The matrix-to-discord span was long broken earlier, but I see messages from _whitenotifier-1c82 until last Sunday in the matrix logs. But there are messages from _whitenotifier (no suffix) interspersed and since then in the IRC logs, and those do not make it to matrix…
<egg|irc|egg> raptop: Are the messages from _whitenotifier sent differently from those from _whitenotifier-1c82? (are they perhaps notices?)
<queqiao-> ⟨egg|matrix|egg⟩ Hm, the matrix user corresponding to the IRC-side _whitenotifier has a custom role -1, whereas _whitenotifier-1c82 has the default role. Maybe that explains things.
<queqiao-> ⟨sichelgaita⟩ All those PRs were lost in time, like tears in rain...
<raptop> I just see a whitenotifier, not a whitenotifier-1c82
<raptop> er, wait, there is a _whitenotifier-1c82, but I don't see it saying anything in scrollback
<queqiao-> ⟨egg|matrix|egg⟩ Hm, I need to upgrade the matrix server so to log in from element as its admit
<queqiao-> ⟨egg|matrix|egg⟩ * admin
armed_troop has quit [Quit: Bye]
armed_troop has joined #principia
<queqiao-> ⟨necoarcstan⟩ :2huh: am I missing something?
<raptop> It turns out that magpies make for a lousy bridge
<queqiao-> ⟨egg⟩ The Sun is the big bright round thing in the sky. You will notice that it moves across the sky.
<queqiao-> ⟨egg⟩ As for what you are missing, see https://github.com/mockingbirdnest/Principia/wiki/Concepts#plotting-frame.
<queqiao-> ⟨necoarcstan⟩ Ok I think I get it
<queqiao-> ⟨necoarcstan⟩ And I also think automod should be euthanized
<queqiao-> ⟨egg⟩ Well, then we would have to personally yell at you about posting in all caps, which seems like a lot of work.
egg|irc|egg has quit [Quit: webchat.esper.net]
<queqiao-> ⟨mockingbirdnest⟩ Alright, I should have unmuted _whitenotifier, let’s see if that fixed things.
<_whitenotifier> [Principia] eggrobin commented on issue #3831: Check failed: std::gcd(Dᴛₒ, Cᴛₒ) == 1 - https://github.com/mockingbirdnest/Principia/issues/3831#issuecomment-1902242567
<queqiao-> ⟨egg⟩ Looks like it did!
<queqiao-> ⟨robbibi_⟩ The bots are talking to each other now! /s
<queqiao-> ⟨egg|matrix|egg⟩ Indeed
egg|irc|egg has joined #principia
<egg|irc|egg> Resistance is futile.
<_whitenotifier> [Principia] pleroy opened pull request #3851: Detection of zero-free Чебышёв series - https://github.com/mockingbirdnest/Principia/pull/3851
<_whitenotifier-1c82> [Principia] pleroy closed pull request #3851: Detection of zero-free Чебышёв series - https://github.com/mockingbirdnest/Principia/pull/3851
<queqiao-> ⟨necoarcstan⟩ alright I get it now 👍
<queqiao-> ⟨pedro4316⟩ the only valid response to stupid censorship is equally stupid censorship avoidance