I like to talk about software correctness and making things go fast. Pony: https://xitter.cf/t.co/ojmrksblfD. Antithesis: https://xitter.cf/t.co/MoiQwbT50F

Rural Boston
Joined February 2009
Modern software tooling is amazing. I can go from zero to working thing that I don't understand at all and have zero chance of debugging in a timely fashion quicker than you can say "thank god I don't have to support this thing".
8
458
30
1,452
¯\_(ツ)_/¯ retweeted
Last Week in Pony - Daisy Chain 4 Satan Edition ponylang.io/blog/2026/10/las…
1
128
¯\_(ツ)_/¯ retweeted
You can take the boy out of the doom but you can't the doom out of the boy!
Dario Amodei was so worried about Y2K that his high school teacher still remembers it decades later. He’s been a doomer for much longer than I thought!
4
17
254
10,244
O baby, what a place to be.
1
173
¯\_(ツ)_/¯ retweeted
Videos from Bug Bash Europe are starting to drop. First up, @dsymetweets, designer of F# and co-originator of async/await, distinguished engineer at @GitHubNext, on the shift to agentic automation in software development, and what it means for the way we build and maintain code. youtube.com/watch?v=8ujA-rNh…
5
11
1,912
Years ago, I ran a team where I had us invest in making sure we could quickly and safely roll back any release and then, I forbade anyone from using it with the mantra "always forward. never back." I wanted us to go through the process of getting our releases rock solid and easy to undo, I didn't actually want us solving problems by going backwards.
3
8
554
¯\_(ツ)_/¯ retweeted
The breakthrough that let us crush Dragon's Lair and Starcraft also makes it *much* easier to set up Antithesis. So we're launching a simpler offering for startups and small teams. DM us for early access, brutal honesty required.
1
4
44
2,252
Luck of the Irish/Swedish... My flight is delayed another 40 minutes cos this plane hit a bird leaving Philly and now needs an inspection
1
232
¯\_(ツ)_/¯ retweeted
Last Week in Pony - I Like (the idea of) You Edition ponylang.io/blog/2026/10/las…
1
169
The only real moat is money.
2
191
Sometimes there's a huge performance optimization staring at you and you just don't see it- until you do.
5
265
Programmers on Twitter. Too many of y'all are way too literal. Ya need to joke to slap ya in the face I guess.
5
343
The number of "AI is bad" posts on LinkedIn that sound like Claude is pretty hilarious.
3
199
Based on the bugs I encounter all the time with Claude Code, I'm not sure I want a code review tool from the folks at Anthropic.
2
10
459
¯\_(ツ)_/¯ retweeted
Managed to meet another dev, whose first-ever fulltime job was also at a company called SenseNet, also building bespoke websites, except it was not this SenseNet, but another SenseNet This was the company I worked at as my first job How random...! (It's @SeanTAllen)
6
1
1
62
14,443
man the "pre-existing fake" brush off seemed to be trained down into the soul of every model that i have used.
235
I'm in an @AntithesisHQ internal meeting about the guts of "hard tech" part of the product. We do these periodically as "learn more about it". I join each one because each time I learn at least 1 or 2 new things. But, the thing I am reminded of every time. Pulling off the hard-tech part is doable for anyone- especially now with agents but... And this is a big but (Sir Mix-a-lot would love it).. Making it all actually useful is the result of tons and tons really hard learned lessons. I need to remind myself of that with all my "I can have an agent just..." Because that "just" is hiding a ton of domain expertise. And a lot of that domain expertise isn't in anyone's training data.
4
235
I have so many LLVM builds going on in GitHub Actions. I apologize if the site crashes soon.
1
2
387