Advertisement · 728 × 90

Posts by Patrick Doyle 🇨🇦

Every cone is a monad

5 hours ago 0 0 0 0

eerless

21 hours ago 1 0 0 0

An orbit is 90 minutes, so it’s three days.

1 day ago 0 0 1 0

Under what circumstances would the pattern not match?

1 day ago 1 0 1 0

Man what happened to progressive parties?

Even the Conservatives used to be the Progressive Conservatives.

1 day ago 1 0 0 0

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.

2 days ago 0 0 1 0

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.

2 days ago 0 0 1 0

bsky.app/profile/patr...

2 days ago 1 0 0 0

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.

2 days ago 1 0 0 0

“That’s IAU, not NASA”

2 days ago 0 0 0 0
Advertisement

A brain is also made up of parts that do not think or reason.

2 days ago 0 0 0 0

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.

3 days ago 0 0 0 0

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.

4 days ago 2 0 0 0

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.

4 days ago 0 0 1 0

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.

4 days ago 1 0 1 0

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.

4 days ago 1 0 1 0

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.

4 days ago 1 0 1 0

LLMs will go the same way. There’s too much money to be made in biasing an LLM toward certain answers.

5 days ago 0 0 0 0

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.

5 days ago 0 0 0 0
Advertisement
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.

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.

5 days ago 1 0 0 1
A photo of about half of Jupiter, accompanied by a couple of its moons looking very small by comparison.

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...

5 days ago 2 0 1 0

Ok but also, check out the albums released in 1991. That was an all-time great year for music.

6 days ago 0 0 0 0

Ah! Makes sense.

When are we getting SequencedCollection.of? 😁

6 days ago 0 0 0 0
Lionel Barrymore in costume as Rasputin smoking a cigarette and looking badass

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

Elderly Lionel Barrymore scowling as Mr Potter in It's A Wonderful Life

Same actor: Lionel Barrymore

1 week ago 1 0 0 0

That's not what she said

1 week ago 42 0 0 0

Everything is easier in hindsight. In software, it's so much easier that the alternative isn't even worth pursuing.

1 week ago 1 0 0 0

Hey @nipafx.dev, how come Queue doesn't implement SequencedCollection?

1 week ago 0 0 1 0

Yeah makes sense.

1 week ago 0 0 0 0

Welp... I got blocked for this. I'm not sure what I'm missing here but I guess it was pretty egregious.

1 week ago 0 0 0 0
Advertisement

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.

1 week ago 1 0 0 0