Programming languages, the infinite garden, and great storytelling.
I am Gabriel, software developer and researcher.
Welcome to my page.
Purpose
Writing is a formalized form of thinking, which makes this page an exercise in sensemaking. Here, I write my thoughts — mostly about technology. This page is also an attempt to document and share ideas that might benefit the broader industry.
About me
I research and build public-good technologies in Web3.
I'm a contributor in the Cartesi ecosystem, building core technologies and infrastructure. Currently, I'm building the Dave fraud proof system. It is based on two algorithms: permissionless refereed tournaments and the eponymous Dave algorithm, of which I'm a co-author. See my Devcon 24 presentation on it. I write both on-chain components like smart contracts and off-chain components. The implementation can be found here.
I joined the project part-time in 2020, and full-time in 2021 after defending my Master's thesis. My research was in programming languages, advised by professor Roberto Ierusalimschy.
Here's my CV.