Looks like I might have a new toy to play with, I guess

TIL Lean is a proof assistant, not just a codeine-promethazine cocktail

Translunar injection in headline, Artemis 2 now has 14 congressional opponents

disc horse is probably my favorite poster

But there's so much more room in the air! Plenty of time to brake

CURTAINS FOR SOFTBANK? ZITRON AND BATBOY CAUGHT FLIPPING A GRUNT

Yeah that's great, I actually have shit to do

You know, the less I’m on here, the less I know what’s going on here, which seems to actually make the experience better when I am on here

I wonder what the third gilded age will look like. You think we’ll finally have flying cars?

Never make the mistake of expecting discussion from a consensus ritual

What it means is that I made a a serious mistake quote-posting you and expecting other people to jump into thread with actual, reasonable discussions that don't veer into vibe consensus and lock-in rationalization.

Power belongs to whoever can force their interface to be accepted as the runtime

Every battle in the future is interface vs runtime

codex is .. fine. It's actually harder to use in ways that probably make it more efficient/cost-effective. I don't use it much directly because it actually doesn't have the hooks to use the governor natively. I'd have to fork it (which I honestly keep debating actually doing..)

Infrastructure week

I can. I don't even use half the tooling I built as POC around it. I still sit in claude code with hooks into this system, for the most part. Because I'm lazy. But the experience is better than vanilla claude. I feel like I'm taking crazy pills, the way people gush over the unvarnished thing.

That's the thing though! It's not better! It's just faster! And more flattering! It does the bulk of my grunt work for personal projects, but most of the architecture lives elsewhere and gets generated while I review cross-model! I don't understand where the love is coming from here.

Yeah, I'm familiar with the old ways and the kind of pedantic nerds you'd find gatekeeping the lore. Or the dead threads where "oh, I solved it! thanks!" is the terminus without public resolution. Like "now draw the rest of the owl".

None of that is solved specifically by claude code, though.

I use it. I understand what it offers. It's just a part of a workflow. It's not the end-all, be-all. So someone, please, let me know. Because if a flattering repl is all it takes to be best in class, well, clearly I've been approaching my projects all wrong.

Genuine question: who actually thinks it's best in class, and why?

Nobody is reaching for it because they’ve done a sober comparative audit of governance guarantees. That’s procurement copy. Or self-flattery.

What makes the embedded question interesting is that it’s asking about value destruction to centralized vendors if the source leak helps open-source tools catch up. And the answer is basically this, at least as the story.

I think it's cute that anyone thinks using claude code is about safety and quality production, not convenience. It collapses friction. That's it.

Americans are intent on going back to the moon like a couple with problems thinks having a baby will fix things

Nuclear weapons are basically the second amendment for sovereign states, sorry folks, I hate to be the one who says it

One lesson states keep relearning is that countries without real deterrence get treated as available.

This, but just on repeat

Then you start resenting how society still expects you to fit your square peg in the round hole even when you’re not firing on all cylinders and have no real support otherwise.

I’m not sure what comes after that part. I’ll let you know if I ever find out.

As an adult who got diagnosed with adhd late, I’ll also say: it gets better. Especially if you end up tuning which med(s) you’re on. Some work better than others, it can depend on a lot of things. Then later, you may start resenting that wasn’t always this way. Eventually you get past that, too.

He has information that will lead to the arrest of Hillary Clinton

I'm increasingly convinced most people lack any concept of change over time whatsoever