I'm Gabriel, welcome to my page.

Purpose

Writing is formalized form of thinking, which makes this page an exercise in sensemaking. Here, I'm writing my reflections about whatever comes to mind — mostly about tech related stuff, since that's what's going through my head these days.

Furthermore, I feel many ideas and designs I'm working on could be beneficial to the web3 ecosystem. This page is also an attempt to document and share these ideas and contribute them back to the community.

About me

I like programming languages, fraud proofs, and great storytelling. I develop software in the web3 space, building public good infrastructure in the rollups and L2 ecosystem.

I'm currently 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 Cartesi's fault-proof system, based on the permissionless refereed tournaments technique, writing both on-chain like smart contracts and off-chain components like the validator node. The implementation can be found here.