You must be logged in to sponsor err0r500
Become a sponsor to Matthieu Jacquot
👋 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.
Featured work
-
err0r500/go-realworld-clean
a clean architecture implementation of the realworldapp : https://github.com/gothinkster/realworld
Go 531 -
err0r500/foundational-knowledge-for-programmers
List of resources about foundational knowledge for programmers (supposed to last a few decades)