(functional) programming, mainly Clojure and OCaml

cat /dev/urandom | base64 | grep "WEED"

I use Python, bash, SQL; interested in OCaml, functional programming, lambda calculus.

Builds the social web typewriter https://Seppo.Social with 🐫 https://OCaml.org with grant https://NLnet.nl/project/Seppo.

Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker https://mro.name/talks. Netizen since the mid 90ies. https://SIGCHI.org, https://CCC.de, https://FIfF.de, https://NOYB.eu, https://Blaetter.de.

Likes 😈 https://mro.name/FreeBSD-XFCE 🐁 and 🏔️ https://AlpineLinux.org.

#permacomputing. #searchable via https://tootfinder.ch

#OCaml developer

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

Recent transplant from #boston to the #washingtondc metro area. I'm a Software Engineer. My current Interests are in OCaml, network protocols, RPC systems, Observability and data platforms.

Occasional OCaml programmer, host of Signals and Threads podcast

Programming languages, compilers, #emacs, #ocaml, #linux, a little #retrocomputing, some music

https://github.com/jasonperry/

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

Aspiring long distance #runner

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.