Academic and engineer. Formal Verification, Artificial Intelligence, Explainability, Self-Hosting. Wrapups and opinion pieces at julien.girard-satabin.fr 🥀 In 10 years, we will not be able to build new computers. 😷 Wear a mask, save lives.