logo FEDIDEVS

FEDIDEVS

Awesome OCaml accounts on Mastodon.

ocaml OCaml
Header Image
Thomas Leonard
@[email protected]

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

Last posted 4 months ago
Posts ▼ 0
Followers 289
Following 56
Header Image

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.

Last posted 1 month ago
Posts ▼ 0
Followers 8
Following 66
Header Image

Likes high level abstractions and low level bit twiddling. Spends spare time on ASMotor, gateware and retro computing.

he/him

Last posted 2 days ago
Posts ▼ 0
Followers 135
Following 232
Header Image

Occasional OCaml programmer, host of Signals and Threads podcast

Last posted 4 months ago
Posts ▼ 0
Followers 1,300
Following 90
Header Image

Artisan-développeur de logiciels (), bricoleur (), jardinier.

Last posted 1 month ago
Posts ▼ 0
Followers 18
Following 88