Gabriel Coutinho de Paula 🐝 🐧

Programming languages, the infinite garden, and great storytelling. Contributor @cartesiproject. Building Dave, a permissionless fraud-proof system.