Important Notice: this service will be discontinued by the end of 2024 because for multiple years now, Plume is no longer under active/continuous development. Sadly each time there was hope, active development came to a stop again. Please consider using our Writefreely instance instead.

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