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

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 but I use OCaml now. Linux user since the last millennium (but also a Mac user since 2003). Vim user since 2000. Internet user since 1996. Coder since 1992.

I'm working on the OCaml ecosystem @tarides.

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

SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎

When I don't go down rabbit holes, I sometimes do something useful. OCaml.org maintainer.

Full-stack web developer. Mostly TypeScript on Node and React, but play with Rust, ReScript, and OCaml.

Trying to decide who’s good and who’s just rich.
Tokyo
OCaml, MirageOS, Rust, Embedded, DDD, Category Theory, Coffee, Watercolor

learning ocaml
music peaked at tally hall

Reverse engineer. Firmware dissector. Rizin&Cutter developer. GitHub influencer. Foreign languages fanatic. OCamler and Rustacean. Loves to C into the void.

Providing thought leadership since 1801. OCaml and Haskell programmer. Co-Organiser of FP-SYD.