Travis Whitaker (hs/acc) retweeted
I remember the anti-AI Reddit cope at the start of vibe coding “in 12 months they’ll scramble to hire senior devs to fix the mess!!”
Well turns out you’re the one that left a mess that we can now fix
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
20
69
1,989
37,128
People who use absolute dog shit, worst of the worst, you’d be better off doing any kind of unskilled manual labor tier programming languages are all really upset today. Wonder why…
7
3
90
8,247
Travis Whitaker (hs/acc) retweeted
they told us in math class in the early 2000s that we wouldn’t have a calculator with us always and 20 years later my friends argue whether or not my pocket phone contains a conscious machine god
40
489
11,626
148,711
Travis Whitaker (hs/acc) retweeted
Last night, a swarm of Opus 5.5 agents working for 9 hours and burning 254.2 million output tokens were able to fully reverse engineer and decompile the Linux source code
Full source archive available here kernel.org
Grab it before they take it down
446
489
12,820
1,890,485
Ok you’re all going to keep your jobs after all.
We keep improving performance across Claude, and you may have noticed it starts responding sooner!
Claude Code now gzips the conversation it sends on every turn, so it reaches the model faster. Cloud sessions also start up as soon as you start typing.
12
12
932
172,975
Travis Whitaker (hs/acc) retweeted
Whether your code is written by a human, clanker, monkey, potato, spatula or white noise generator
The answer is still "Use pure functions statically checked with algebraic data types."
1
14
92
2,027
Travis Whitaker (hs/acc) retweeted
not only do they have agents, but secret agents as well
We discovered a sophisticated recording device that was hidden inside one of our offices. We used our models to understand the device and where it had come from, identifying that a specific employee had planted it a few days earlier. We referred the matter to the FBI, and we’re grateful to the agents and prosecutors who moved quickly to make an arrest. The FBI’s investigation is ongoing and we will continue to support their work.
At this time, we have no indications of this individual inappropriately accessing or exfiltrating model weights, source code, or customer data. The employee was terminated.
We take protecting our technology, data, and people seriously, and as a matter of national importance. Our security program is designed to protect against a wide range of threat actors, from insider risks to cybercriminals to nation states, and this case is an example of how AI can help address these sophisticated security threats.
3
3
37
977
Travis Whitaker (hs/acc) retweeted
our butt was making so much poop we had to invent a new kind of toilet
New on our Engineering blog: Creating in-house source control.
In May, we merged around 2,500 code changes per day. In September, we merged more than 30,000 per day. As a result, we became bottlenecked by developer infrastructure built for human (rather than agent) scale.
Here, we share how we built a new version control system—and fully migrated our monorepo from git—in five months: anthropic.com/engineering/re…
38
337
8,110
155,337
Travis Whitaker (hs/acc) retweeted
You don’t understand. When 10M factory workers lose their jobs, that’s a statistic. When a problem a mathematician’s been working on gets solved, that’s a tragedy.
74
724
13,289
162,490
Clanker math research has revealed that everything @ericweinstein has said about the behavior of the mathematics community since WWII was absolutely correct.
4
2
46
1,854
Travis Whitaker (hs/acc) retweeted
We're delighted to finally announce the first official release of hs-bindgen, a tool that automatically generates Haskell bindings from C headers. Read the announcement at well-typed.com/blog/2026/10/… or check it out at hackage.haskell.org/package/… .
1
20
72
3,316
Travis Whitaker (hs/acc) retweeted
The heart of this problem is that we have an intellectual class of hard-core materialists who want to explain the transcendent dignity of man using purely scientific criteria and that leads them into moral horrors they are not equipped to navigate
Sorry, if you look at a newborn infant and don’t instantly recognize it as a “person,” I’m not interested in what your opinions of consciousness and “personhood” are.
Your judgement and analysis are fundamentally (and likely irreversibly) broken.
40
195
1,613
34,352
Travis Whitaker (hs/acc) retweeted
Hard to take seriously the philosophers who deny personhood to unborn babies but apply it to AIs.
114
690
5,039
104,736
ghc-debug is the most underrated tool.
ghc-debug enables precise heap analysis of #Haskell programs for memory use debugging. We've been making it more usable on large programs: well-typed.com/blog/2026/10/…
1
2
26
1,200
