msaug.dev
Profile picture

About Me

Hi, I’m Mathieu, a Software Engineer. I’m the CTO of Kakarot, a company that works on developing efficient Zero-Knowledge Proofs systems for client-side proving.

I’ve also been working on a few side projects over the years, including writing a book about the Cairo Programming Language; an AI conversational agent for the Starknet Ecosystem, or an API for Cairo Code generation that can be plugged to any agentic tool using MCP.

I have a Master’s degree in Engineering from INSA Lyon, and a Master’s degree in Computer Science from Universität Passau.

[Github]

Recent Posts

Title Date
La chaîne de montage logiciel
Ce que la chaîne de montage nous apprend sur la production de logiciel avec des agents IA
The Software Factory
What the assembly line teaches us about building software with AI agents
Antifragility in the Age of Agentic Code
A mental model for how to handle the increasing amount of AI-produced code in codebases

Currently Reading

View all →
Principles for Dealing with the Changing World Order cover

Principles for Dealing with the Changing World Order

Ray Dalio