¯\_(ツ)_/¯ (@SeanTAllen) header
¯\_(ツ)_/¯ (@SeanTAllen) profile picture

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

Rural Boston
Joined February 2009
Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)Photo by ¯\_(ツ)_/¯ (@SeanTAllen)
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,451
¯\_(ツ)_/¯ retweeted
Some people were surprised when Mr. Formal Methods @hillelogram joined Antithesis. Let him tell you in his own words a bit about why: antithesis.com/blog/2026/hil…
5
28
1,550
¯\_(ツ)_/¯ retweeted
Messing around with a new visualization of Antithesis playing Mario. Wdyt?
4
3
1
62
2,534
So @TitusWinters is wicked smart. That is all.
How did Google refactor 250M lines of C++ code, pre-AI, what happened when Search could no longer ship on the regular cadence due to regressions, and why is it time to completely redo the CS curriculum? With @TitusWinters. Timestamps: 00:00 Intro 07:01 Getting hired by Google 09:48 Finding his niche at Google 14:32 Why Google made testing mandatory 17:45 Why new engineers fear making mistakes 20:40 Abseil: C++ foundations at Google 23:09 Google’s massive C++ refactoring 30:48 AI for rewrites 39:07 Software Engineering at Google: the book 43:10 Google’s readability reviews 47:18 Why teams still matter 52:41 Psychological safety 58:17 Layoffs and culture 1:02:11 Measuring developer productivity 1:11:17 Rethinking CS education 1:22:56 What new grads should learn 1:32:08 Titus’s ideal software engineering curriculum 1:36:27 Advice for breaking into tech 1:38:35 Book recommendation Brought to you by: • @turbopuffer – vector and full-text search engine built on object storage. It’s fast, cheap, and extremely scalable. turbopuffer.com/pragmatic • @linear – one of the big challenges for us devs is the sheer amount of code to review. Linear Diffs is a new feature to review PRs inside of Linear, with all the context in one place. It also supports stacked PRs. linear.app/pragmatic • @WorkOS – WorkOS built Airlock, the authorization layer for AI agents. It evaluates every request against the agent’s intent + your rules and either allows it, denies it, or routes it to a human. workos.com/airlock Three interesting details: 1. Google made automated tests mandatory after Search could no longer ship regularly. Around 2007, Search, the flagship product, was unable to ship at a monthly cadence any more, and the best they could ship to production was quarterly. Almost every change at Google touched Search’s code, even things like a change to Gmail. To clamp down, Google, as an org, mandated that every change was to be accompanied by a test. Over time, Search returned to its former higher cadence. 2. Google’s readability program might have been the largest educational program ever in tech. To make a code change at Google, two people need to sign off that change through a code review: a) An “owner” of the file/project: someone on the team with domain knowledge b) A “readability” reviewer: an engineer certified to be a “readability” expert in the given language that the change was made in Google’s first engineer, Craig Silverstein, walked each new dev hire through their first change. Java teams turned this approach into mentoring, where experienced reviewers were assigned to review all changes in a round-robin fashion. And soon enough, a formalized readability program was built for all languages. When Titus left Google three months ago, 10,000+ engineers were enrolled in readability at any given time. Has there ever been a bigger engineering “classroom” anywhere else? 3. Burn down the US undergrad CS curriculum (most of it) Titus was the only working engineer on the steering committee for the ACM/IEEE/AAAI CS curriculum guidelines in 2023, and believes the curriculum is hopelessly out of date. He accuses it of not having altered substantially since around 2000, while the industry has. Testing and verification are cited as mattering a lot more for new joiners, but they are absent from the curriculum. Unless major changes are made to make it relevant, computer science enrollment could fall and software engineering programs that focus on practical dev skills will be attractive to students – this is Titus’s forecast.
147
Today in honest burns: "I hope he has all the success he deserves."
1
217
Some things will never make sense
106
¯\_(ツ)_/¯ retweeted
This is in two days! 47 hours! Learn how property testing can help you write better web applications that power your two-bajillion dollar ARR AI startup pages.antithesis.com/webinar…
2
10
57
4,554
¯\_(ツ)_/¯ retweeted
BUG OF THE WEEK: Myrmeleon formicarius. These antlions have no anus in their larval form. They store all their waste for their entire life, sometimes years, and release it only when they become adults. The original memory leak.
3
1
14
798
¯\_(ツ)_/¯ retweeted
Most of y'all heard, we're launching a simpler offering for startups and small teams. Email/DM me for early access.
Replying to @AntithesisHQ
@AntithesisHQ as a developer trying to build some high-reliability services I'd love a pay-as-you-go, per-run, zero support offering even if it's pretty expensive per run
1
2
21
884
¯\_(ツ)_/¯ retweeted
Last Week in Pony - Daisy Chain 4 Satan Edition ponylang.io/blog/2026/10/las…
1
152
¯\_(ツ)_/¯ 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!
5
16
257
10,463
O baby, what a place to be.
1
181
¯\_(ツ)_/¯ 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
13
2,006
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
560
¯\_(ツ)_/¯ 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,290
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
237
¯\_(ツ)_/¯ retweeted
Last Week in Pony - I Like (the idea of) You Edition ponylang.io/blog/2026/10/las…
1
176
The only real moat is money.
2
194
Sometimes there's a huge performance optimization staring at you and you just don't see it- until you do.
5
267