Armaël armael@social.treehouse.systems

Open on social.treehouse.systems

computer science researcher (at Inria, Toccata team) · working on programming languages and verification · Coq, Iris, OCaml, hitting enemies with a large stick in Dark Souls

ArticlesSubscribersSubscriptions

Tom Goldoin @tgoldoin

Plus j’aime l’informatique, moins j’aime ce que l’on en fait.
Membre de l’association Deuxfleurs où on essaye d’imaginer un internet convivial.

Aussi sur Mastodon et Twitter