Every cone is a monad
Posts by Patrick Doyle 🇨🇦
eerless
An orbit is 90 minutes, so it’s three days.
Under what circumstances would the pattern not match?
Man what happened to progressive parties?
Even the Conservatives used to be the Progressive Conservatives.
Fair enough; apparently some consider the barycenter thing to be sufficient. I think that’s a bit silly since any two bodies, no matter how different in size, would have a barycenter outside themselves if they’re sufficiently far apart.
Not true. Ask the average person if Pluto is a planet. They know it’s not.
Lots of pairs of bodies have their barycenter between them, like the Sun and Jupiter. That’s not sufficient to make the pair a binary.
bsky.app/profile/patr...
No, that’s part of what makes the IAU nomenclature so weird: dwarf planets are not planets.
Also I’m not sure what you mean by “the only binary orbit” but it’s almost surely not true for any definition of that term.
“That’s IAU, not NASA”
A brain is also made up of parts that do not think or reason.
I just spent two weeks building troubleshooting tools to figure out I accidentally made my code fast enough to exhaust ephemeral ports faster than Windows could offer them to me. There's nothing quite like the feeling of solving a mystery like that.
Yes, this is what I do for fun on the weekends.
I'm concerned that the software industry has a reckoning coming, where we come to regret gleefully shipping AI-generated code this whole time.
I hope I'm wrong. I've been using LLM tools intensively for months now trying to prove myself wrong, but I haven't yet succeeded.
This is property of well-engineered systems cannot be tested, by definition. Suppose for a moment, hypothetically, that LLMs are not currently doing this kind of principled engineering; in that case, we couldn't tell that by looking at test results.
Third, no nontrivial system can be tested exhaustively, because any nontrivial system has a combinatorial explosion of cases. Software engineering separates concerns such that the system's design principles ensure the untested combinations will work when they are encountered in production.
Second, tests cannot prove the absence of bugs; only the presence of bugs. The fact that AI generated code passes tests tells you no more than if human-generated code passed those tests; and we know from experience that human-generated code which passes tests can still be a maintenance nightmare.
Lots of hot takes about AI coding. There's only a few things we know for sure.
First, nobody knows the long-term effect of shipping AI-generated code, because we as a species have only been doing it for a year now. Anyone who tells you there are no long-term maintenance concerns is speculating.
LLMs will go the same way. There’s too much money to be made in biasing an LLM toward certain answers.
They’re guessing machines. Have them guess, then confirm the answer.
Generally true of LLMs: they’re best used to produce output that can be verified.
A photo of Earth and the moon taken from the direction of the sun during a lunar eclipse. The moon is about 1/4 the width of the earth. Both are lit very flatly, since the perspective is in the same direction as the light source, giving them a very flat lighting that almost looks fake. A tiny sliver of the shadow of the moon on the Earth just barely peeks out behind the moon.
Earth with its moon. The moon is HUGE relative to Earth.
A photo of about half of Jupiter, accompanied by a couple of its moons looking very small by comparison.
A normal planet with its moons...
Ok but also, check out the albums released in 1991. That was an all-time great year for music.
Ah! Makes sense.
When are we getting SequencedCollection.of? 😁
Lionel Barrymore in costume as Rasputin smoking a cigarette and looking badass
Elderly Lionel Barrymore scowling as Mr Potter in It's A Wonderful Life
Same actor: Lionel Barrymore
That's not what she said
Everything is easier in hindsight. In software, it's so much easier that the alternative isn't even worth pursuing.
Hey @nipafx.dev, how come Queue doesn't implement SequencedCollection?
Yeah makes sense.
Welp... I got blocked for this. I'm not sure what I'm missing here but I guess it was pretty egregious.
I'm glad you started this conversation. The funding that goes to funding a standing army during peacetime is nuts. But I don't think it makes a lot of sense to dismiss any thinking that's more nuanced than "just stop" is serving the goal of making it stop.