VP of Eng at @GlideApps. Building embersites.com and ImageGPT.cloud
Raleigh, NC
- Tweets 10,061
- Following 1,471
- Followers 4,389
- Likes 8,301
Oh nooooo, they found me!
Man who optimistically believes AI will change everything is working optimistically to make AI change everything - my jig is up!
Also - gimme a break with the "these people" WHAT DO YOU MEAN BY THAT
Always look into why these people are evangelists of Ai, you don't have to dig to find they have ulterior motives and need you to buy into Ai.
In this mans case, he wants you to stop coding and use his platform.
2
1
507
Trying to minimize the truth of the message by criticizing the forum it was delivered is the true mark of a denialist
He sounded more like he's vested in those ai companies to succeed.
He said portraits were exclusive but SOA models are exclusive by the subscription price.
Rails World was not the place to say any of that.
1
511
The programming languages of today are the bytecode of tomorrow
You will not write, read, or care how it looks
1
2
583
“The craft isn’t disappearing. It’s finally beginning”
Lovely way to put it and completely agree. I am so optimistic about the future of engineering!
If you loved programming and feel like AI is taking it away from you: the craft isn't disappearing. It's finally beginning.
For decades, most of what we called programming was glue. Wiring libraries together, patching edge cases, testing a handful of inputs and hoping the rest behave. We rarely knew our code was correct. We just hadn't seen it break yet.
AI is very good at glue. But the craft was always something else: understanding a problem so precisely that a machine can't misunderstand it.
That's what formalization demands, and it's why the fun part survives. Writing a proof is hands-on. You state what must be true, split the goal into subgoals, hunt for the right invariant, and watch the goal state shrink line by line. If you've ever felt flow while debugging, it's the same loop, with a proof at the end.
And when AI can generate a hundred proofs, taste matters more: which one is clear, which abstraction is right, which lemma deserves to be reused.
Math is already going this way. Mathlib grows every week. My bet: math isn't special. Anything we can state precisely can be formalized, whether it's access control, payment flows, protocols, tax rules or business logic. We've just been writing it in tickets and hoping the code matched.
It's already happening. AWS modeled Cedar, its authorization policy language, in Lean and proved its core guarantees. Rules about who can access what, the kind of logic most of us implement straight from a ticket.
A major obstacle was cost. Proofs were brutally expensive to write by hand. Now AI grinds through the tedious obligations, Lean's kernel checks every step, and we get the part that was always the real work: deciding what "correct" means.
Math went first. Let's formalize everything else.
1
6
1,281
For engineers having trouble with @dhh’s talk here some obvious truths about the future of programming:
You will not write code
You will not read code
You will not choose a language
You will design the architecture
You will define outcomes
You will build auto-delivery loops
112
78
1,045
52,148
Do yourself a favor and follow engineering leaders like @obie and @GeoffreyHuntley that can see the future of engineering without thinking it means the end of engineering
4
1
17
7,012
If you were alarmed or put off by DHH’s keynote, you were already toast
This direction has been obvious for at least a year at this point
It's pencils down, people. Writing code by hand is no longer an economically viable skill for most programmers at most companies. But the future of making software has never been brighter. Don't you dare black pill this beautiful moment! piped.video/vDjW_dRyKXY?si=6Fsf…
16
12
128
10,183
Love the Jenson framing that AI alignment/safety are capabilities of models that will increase commensurate with general AI progress.
To claim it will kill us all is claiming AI will only progress on one of these axes when all incentives are for the opposite.
castro.fm/episode/b1etfz
1
330
This is the most exciting reveal of the CF Worker Previews announcement - that they’re working on multi-worker previews next
Today we’re launching Worker Previews. Each Git branch gets a production-like place to run, with its own code, configuration, URL, observability, and state. cfl.re/4hgSuxf
5
487
Thank you, OpenAI, for applying cost and usage pressure on Anthropic
Free markets are a beautiful thing
1
8
433
Today has turned into your favorite nerd's Christmas Day
Please give them the space to unwrap and play with their shiny new toys
4
472
Is your product just a skill in somebody else's agent?
I suspect the answer is more and more becoming "yes".
But I don't think that necessarily means it has no value either.
3
284
