Zooming in on DAML’s performance Permalink
This is a blog post I wrote while I was working on the Haskell-based smart contract language Daml at Digital Asset.
Posts by Category
Link
Talk: Embedding DSLs deeper into GHC Permalink
This is a talk I gave at the Zürich Friends of Haskell meetup while I was working on the Haskell-based smart contract language Daml at Digital Asset.
Daml does yoga: an introduction to flexible controllers Permalink
This is a blog post I wrote with Shayne Fletcher while we were both working on the Haskell-based smart contract language Daml at Digital Asset.
And now all together: an introduction to conjunction choices Permalink
This is a blog post I wrote with Robin Krom while we were both working on the Haskell-based smart contract language Daml at Digital Asset.
Removing the limits on signatories Permalink
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.
The only valid smart contract is a voluntary one — easier said than done Permalink
This is a blog post I wrote with Jost Berthold while we were both working on the Haskell-based smart contract language Daml at Digital Asset.
Blog
Linear Time Variance Inference for PEP 695
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.
A gedankenexperiment on vaccination
tl;dr. I’m describing a thought experiment that hopefully helps to convince people to get vaccinated despite feeling uncertain about some aspects of COVID-19.
Stack-safety for free?
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...