👋 Hi, I’m @err0r500 (aka Matthieu Jacquot)

I’m interested in:

• Software architecture — After years of coaching teams on how to communicate through DDD and build extensible softwares with clean architectures in production across multiple languages (while refining the art of DevOps), I’m now exploring micromodule architectures.
• Functional programming — I went down the rabbit hole of types as proofs: started with Haskell, spent a lot of time with Idris, Unison, Elm, F# and even played with Coq.
• Category, Type & Proof theory — because once you start seeing morphisms everywhere, there’s no going back.
• Software testing — I’ve spent a lot of time thinking about what it really means to test software effectively.