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

https://www.gcdepaula.com