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. 🇫🇷 / 🇬🇧

programmer.

Interested in augmentation

Ocaml
Haskell
Racket