Wesh gro bi1? #OKLM #OCaml #MirageOS

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.

Exilé de la recherche académique, touche-à-tout, gauchiste. J'aime aussi faire de la brioche. 🇫🇷 / 🇬🇧

Maths, lambdas and rock'n'roll. Mathematical physicists, associate professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own

Projekte: telix | tessera | frankenstein | surd
Linux-Kernel-Schwerpunkt: pgcl | pidhashing | hugetlbfs | filtered wake-ups | cpumask_t
Sprachniveaus: en:C1 | es:B1 | de:A2 | eo:A2 | lernbereite für weitere Sprachen
Pronomen: ela | ella | elle | lei | sie | она | वह | 她 | هِيَ
📍Berlin, Deutschland

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

Computer Graphics & Programming Languages person.

I twoot about languages like C, C++, Rust, JS/TS, and OCaml.

I organize @graphicsmeetup

he/him

#OCaml developer