Artisan-développeur de logiciels (#OCaml), bricoleur (#bois), jardinier.
#linux #ocaml #woodworking

Wesh gro bi1? #OKLM #OCaml #MirageOS

I'm interested in {programing x language × eco-systems × theory}, broadly conceived.

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

Occasional OCaml programmer, host of Signals and Threads podcast

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 | lernbereit für weitere Sprachen
Pronomen: ela | ella | elle | lei | sie | она | वह | 她 | هِيَ
📍Berlin, Deutschland