About Me

I am Gabe.

I cofounded Conjecture and advise ControlAI. Most of my work is dedicated to preventing extinction risks from Superintelligence.

I write about Philosophy, Coordination and AI on Cognition Café. I have co-written The Compendium, a book about where the extinction risks from superintelligence come from.

You may also find me on Twitter.

I am a computer scientist by trade. I studied Theoretical Computer Science at a Grande École. I built LigoLANG, a programming language with multiple syntaxes, support with mutation tests, and some formal verification in its pipeline. I have founded Marigold, a now defunct R&D company that was aiming at solving the scalability problem of blockchains.

Small Projects

GATL (Gabe's Text Language) is an extensible markup language, comparable to Markdown, but with a simpler syntax and built-in extensibility.

GAIDiff (Gabe's AI Diff) is a small text tool that helps me manage AI suggestions on my texts with a nice diff view. It also converts back and forth between Markdown and whatever enriched text Google Docs and Substack use.

G2D (Gabe 2D) is a web 2D animation engine. It lets me build procedural animations using 2D skeletons. Everything is rendered using SVG and CSS3.

G-MAG (Gabe Magic) is the prototype of a 2D magic-based battle game, inbetween LaBrute and LeekWars, where your characters automatically fight others based on your preparation and strategy.

Pitch Perfect is an app that helps one develop.. perfect pitch using melody triggers (melody that starts with a note to be learnt, making it easier to identify).