Zen Monk Alain M. Lafon
munen
CEO https://200ok.ch, ordained Zen monk and abbot of Lambda Zen Temple (https://zen-temple.net).
200ok GmbH Lambda Zen Temple (Glarus, Switzerland)
Serge Zaitsev
zserge
Turning complex problems into a lightweight and simple software solutions.
München, Germany
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Stavros Korokithakis
skorokithakis
I love writing code, making stupid devices and writing about writing code and making stupid devices.
Stochastic Technologies Ltd. Thessaloniki, Greece
PreviousNext