Purpose

Writing is a formalized form of thinking, which makes this page an exercise in sensemaking. Here, I write my thoughts about things — mostly tech related things. This page is also an attempt to document and share ideas, some of which could be beneficial to the broader industry.

About me

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

I'm a contributor in the Cartesi ecosystem, building core technologies and infrastructure. I joined the project part-time in 2020, and full-time in 2021 after I defended my Master's thesis. My research was in programming languages, advised by professor Roberto Ierusalimschy.

Currently, I'm building the Dave fraud proof system, based on the permissionless refereed tournaments technique, writing both on-chain components like smart contracts and off-chain components like validator nodes. The implementation can be found here.