Skill Synthesis
We found 8 real security vulnerabilities in Sentry that our pen testers and bug bounty program missed. All it took was a synthesized skill, Warden, and one very long day.
Latest / February 23, 2026
Posts from February 23, 2026
2 posts from engineering leaders published February 23, 2026, by David Cramer and Hillel Wayne.
Some Silly Z3 Scripts I Wrote
As part of writing Logic for Programmers I produced a lot of “chaff”, code samples and sections I wrote up and then threw away. Sometimes I found a better example for the same topic, sometimes I threw the topic away entirely. It felt bad to let everything all rot on my hard…