deliciouslytyped
Hire me.
insecure nix-shell -p qtox : 7FAA6DDBD4AB3CD6BBA8515BB6082E07C709F3DBDD9F3E3DFA670493DF4AE31E398171AFD50E
Nicolas M.
penguwin
DevSecOps | Vibe driven development | Failure is not an Option<T>
its a Result<T, E>
Augsburg University of Applied Sciences Augusta Vindelicorum
Cornelius Diekmann
diekmann
Proving stuff in Isabelle. Computer networks and security.
Munich, Germany
Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
David Luposchainsky
quchen
Likes Haskell. Interested in derived languages (Agda, Idris, Purescript). Would like to learn more about Rust.
Germany
Christian Muehlhaeuser
muesli
Geek, Gopher, Software Developer, Maker, Opensource Advocate, Tech Enthusiast, Photographer, Board and Card Gamer.
Karolin Varner
koraa
https://twitter.com/dakoraa
Rosenpass e.V. | Max Planck Institute for Security and Privacy | @formosa-crypto Europa, Saturn System, The Universe
Jochen Bartl
verbosemode
Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR
Slowly moving my personal stuff over to Codeberg
Somewhere near Augsburg, Germany
PreviousNext