exe.dev - ssh exe.dev Build apps or SSH into a persistent Linux VM. ssh exe.dev.

Part of my standard exe.dev pitch to devs is: New VM for every idea.

with enough tokens we can completely convert memory unsafety into complexity and then everything will be simpler because there will only be one kind of bug cmon lets do it why are you looking at me like that dont you like security

Yes, but my new problem is one of rampant entitlement. I'm now mildly annoyed that I need to write so many words to accomplish this task. Ridiculous but true.

Also, if this changes fundamental exploit (not vuln) economics, that’s a permanent sea change.

If/when stabilization is reached, this is probably net pro-defense…but only for active, capable defenders.

Compare to when GitHub code search got used for secrets. Cheap and easy changes the game.

Rapid updates are a software supply chain threat vector. Use cooling off periods.

Also, Mythos can go from vuln to working exploit in hours for trivial money and effort. Better patch fast.

The call is coming from inside AND outside the house.

This is fine.

David Lewis (famous philosopher) once shared this joke in a footnote:

'Mr. Z claims to have found a counterexample to my theory. But he has misunderstood me, he has not interpreted my words as I intended. For I intended that there be no counterexamples.'

FWIW—I am after all just some guy on the internet—we are in violent agreement. And I am deeply grateful that you continue to be you and to put you in your books for the rest of us.

100%. There’s a long inglorious history of software companies selling thneeds.

My point is only: to the people making these tools, the tools are deeply, genuinely useful. And that explains (not justifies, not excuses) some otherwise mystifying behavior.

Is this perplexity genuine or rhetorical? If the latter, roger that.

If the former, it may be the sheer gulf in utility to computer people vs everyone else.

Not arguing re: environmental impacts, other harms+risks, or aesthetic insipidity. Just hoping to help it make sense to you intellectually.

For the remote models, NextDNS might help by blocking connectivity.

They’re missing my usual exasperation, which is also pretty regexp-friendly: “no no no no no”

As economists say, “If something can’t continue, it won’t.“ The important question is: in what way will it stop, and what will be destroyed along the way.

It’s Monday. If I can be of service here—do but let me know.

I’m having fun. And there’s basic human pleasure in being of use, particularly to people you respect. :) Don’t worry, I’ll ditch out if/when it’s a burden.

Indeed. 2010s search engines are engineering marvels, but limited in interpretation. They rely on vocabulary being huge and sparse. LLMs are much better at this, because they can incorporate much more nuance; cf embeddings, RAG, and vector search.

Pretty much, save the arcane ones.

Excellent. Let me know where you want to start—or just what you already know well and can skip—and I’ll post some links on Monday. (Kids own the weekends.)

If you wanted, I could drip you blog posts/etc as you worked through it. But for obvious reasons, don't want to build it all out in advance.

Also...if nothing else, read this very short post: www.incompleteideas.net/IncIdeas/Bit...

It's probably the single most influential writing of the era.

I went digging and found nothing good out there. It's all fluff, dated, or bloviation.

I jotted down syllabus of things I thought you should know about, if only vaguely: gist.githubusercontent.com/josharian/3e...

For state of the art, you have to come hang out in SF and talk to people. (I'd be happy to help.)

But: What are your goals? Then I could maybe help more.

For a peek under the hood, 3b1b vids on YouTube. Or try playing with weaker models locally using LMStudio.

Also: text? images? videos? all?

Maybe:

Unverifiable/physics
Interesting/parent
Probably not harmful/doctor

Silver lining: “Folk etymology is linguistics for bullshit” brought delight to my pre-dawn morning.

Now I want analogs for other fields…

Etymology TIL: en.wikipedia.org/wiki/Rebrack...

sequel = seq+uel
prequel = pre+quel

The q moved!

You can do some small things here in Settings > Keyboard > Text Replacement. Like insist that ”and” maps to ”and”.

(My pet peeve here: I am into heirloom apples. But the brand pedants in Cupertino think that I only could ever possibly be referring to Apple when I type that word.)

2026: the year when every software engineer becomes Jobu Tupaki

exe.dev's CLI and API are one and the same, as it should be. blog.exe.dev/apis-for-the...

Amazing.

Those are rough waters.

Code is cheap. Insights are not.

How far south??? I’m mildly obsessed with extreme latitudes but to my endless frustration never hit either circle (Iceland north, Pataginia south). If you tell me you are going to South Georgia or Antarctica I am going to be intensely jealous.

…I’m here for all dash lengths, m–n.