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
Using DSPy in Production
Going from simple DSPy modules to an optimized production-ready application

Currently Reading

View all →
The Unbearable Lightness of Being cover

The Unbearable Lightness of Being

Milan Kundera

Fooled by Randomness cover

Fooled by Randomness

Nassim Nicholas Taleb

Principles for Dealing with the Changing World Order cover

Principles for Dealing with the Changing World Order

Ray Dalio