SAT&SMT solver, cryptography and security enthusiast
- Berlin, Germany
- https://www.msoos.org
Markus N. Rabe
MarkusRabe
Researcher at Google, previously worked at UC Berkeley and Saarland University.
University of California, Berkeley Berkeley, CA, USA
TJ DeVries
tjdevries
Software developer.
I like using Neovim (core team) and stream here: https://www.twitch.tv/teej_dv
Jo Devriendt
JoD
jodevriendt.com
nonfictionsoftware.com
gitlab.com/JoD/exact
https://www.kuleuven.be/wieiswie/nl/person/00059879
University of Leuven / Nonfiction Software
Armin Ronacher
mitsuhiko
Software developer and Open Source nut. Creator of the Flask framework. Engineering at @getsentry. Other things of interest: @pallets and @rust-lang
Sentry Austria