Now

This is my now page, where I share what I’m up to right now. You can read more here.

• In Bordeaux, FR.
• Working on bringing formally verified mathematics to the educational environment at Waterproof.
• Writing my Master’s Thesis on the Fast Fourier Transform for certain group algebras, with applications in post-quantum cryptography (coding theory).
• Walking a lot.
• Learning about semiconductors: supply chain, geopolitics, etc.
• Instead of reading I mostly listen to audiobooks (Atonement, World For Sale, True Grit) nowadays, if I want to read I will typically pick a long form article from The Electric Typewriter.
• In my free time I like vibecoding components of a personal knowledge management system.