Recent Posts

Linear Time Variance Inference for PEP 695

less than 1 minute read

This post provides the slides for my talk Linear Time Variance Inference for PEP 695 I gave at the Typing Summit at PyCon 2025. There also is a PDF version.

Stack-safety for free?

6 minute read

tl;dr. I demonstrate how to (ab)use generators/coroutines to transform any recursive function into an iterative function with nearly zero code changes. I exp...

Removing the limits on signatories Permalink

less than 1 minute read

This is a blog post I wrote with Neil Mitchell while we were both working on the Haskell-based smart contract language Daml at Digital Asset.