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

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

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

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

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

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!

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

Occasional OCaml programmer, host of Signals and Threads podcast

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

Queery {PL,Q}T; my gender is carbohydrates & the colour pink. 💝

I write a lot of #OCaml for the #JavaScript ecosystem!

DMs open; indexed on tootfinder.ch; other keywords: #PLT #Rust #TypeScript #ML #Haskell #FunctionalProgramming

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

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