At work I write blockchain systems -- mostly Ethereum-based. For fun I write languages and type systems. In a past life I wrote frontend in JS and React.