- Göteborg ∨ Catania
- http://ltworf.github.io/
TheAssassin
Infrastructure maintainer, privacy advocate, professional software engineer, open source developer and supporter, passionate Pythoneer, and friend of C .
Germany
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany