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. 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. Check 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 I defended my Master's thesis. My research was in programming languages, advised by professor Roberto Ierusalimschy.

Here's my CV.

Links

GitHub: https://github.com/GCdePaula/

Warpcast: https://warpcast.com/gcdepaula

Twitter: https://x.com/GCdePaula_

Linkedin: www.linkedin.com/in/gcdepaula