Programming languages, the infinite garden, and great storytelling. I research and build public-good technologies in Web3.

Currently contributing to the Cartesi ecosystem, where I develop core L2 infrastructure like Dave, a permissionless fraud-proof system.