Programming languages, the infinite garden, and great storytelling. Contributor in the Cartesi ecosystem. Building Dave, a permissionless fraud-proof system.