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

(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).

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.

Wesh gro bi1? #OKLM #OCaml #MirageOS

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

I like: #linux #vim #ocaml #racket #clojure #malamute #zen #camping

Aspiring long distance #runner

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.

Chief enabler and software architect at @activegroupgmbh, (functional) programming, mainly Clojure, Haskell, Elixir and OCaml, based in Vienna