Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).

Software Engineer who lives in NYC. Spent 8 years using Go & 3 using OCaml but I mostly use Python these days. Linux user since the last millennium (but also a Mac user since 2003). Vim user since 2000. Internet user since 1996. Coder since 1992.

Postgraduate Computer Science student. Loves math and code. Obsessed with Linux, Rust, and FOSS in general.

When I’m not at my computer, I’m at some mountain or river. 🏔️

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna

PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml

programmer.

Interested in augmentation

Ocaml
Haskell
Racket