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.
Posts by Year
2021
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...
2020
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.
2019
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.
2018
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.