(he/him)
Hobbyist Engineer.
SDE.
I ♡ to build.
Debian Contributor.
C, Rust, Go, Haskell, Ocaml.
Born to do System Programming, Fullstack Dev by Profession.

i make cool stuff!!

#1 systemd/Linux fan · web developer in denial · recovering Rust developer · also Haskell, OCaml & C99 nerd

follow @ap.brid.gy if you're on bluesky!

One must live so freely existance is a crime

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

I'm working on the OCaml ecosystem @tarides.

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

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

Occasional OCaml programmer, host of Signals and Threads podcast

Python & OCaml Programmer / Visual Studio Code & Debian Linux User.

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

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.

Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…

Based on formal methods, developed mainly in OCaml.

This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

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

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket