

Recent

Why Simple Workloads Find the Hardest Bugs
·133 words·1 min
Marco Primi and I join David Wynn on Bug Bash to talk about workloads — what they are, why they matter for testing distributed systems, and how even a simple while true loop can expose bugs your unit tests miss.

An Ensemble of Claudes
·3356 words·16 mins
Small differences in prompts produce wildly different outputs. You can fight that or you can use it.

Teaching Claude to Write Pony
I treated Claude like a junior engineer, taught it principles, and watched it grow. Two weeks later, it’s on my short list.

Parma for Mortals
·3775 words·18 mins
The ideas behind Parma, explained like we’re sitting at a bar and you asked me what I’d been working on.

Peter Alvaro and Me
·1061 words·5 mins
How Peter Alvaro’s lineage-driven fault injection clicked with me, and why I ended up at Antithesis.

Pony Programming Language with Sylvan Clebsch and Sean Allen -- Conversation #7
·148 words·1 min
Sylvan Clebsch, Mike Shah, and I talk about how Pony came to be, walk through Pony Patterns, and discuss the language’s design.

Pony: High-Performance, Memory-Safe Actors with Sean Allen
·225 words·2 mins
Kris Jenkins and I dig into reference capabilities, Pony’s actor model, and how it implements garbage collection without stop-the-world pauses.

Confidential Container Groups: Implementing confidential computing on Azure container instances
·127 words·1 min
Parma adds less than one percent overhead beyond the underlying TEE while ensuring a security invariant over all reachable states of the container group.

Parma: Confidential Containers via Attested Execution Policies
·264 words·2 mins
Lift-and-shift deployment of unmodified containers with strong security guarantees, using VM-level isolation and attested execution policies.

Unproven Tech Case Study with Sean Allen
How we picked Pony to build a sub-millisecond latency stream processor for Wall Street, and what happened next.
