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

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Computer Graphics & Programming Languages person.

I twoot about languages like C, C++, Rust, JS/TS, and OCaml.

I organize @graphicsmeetup

he/him

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

#OCaml developer

Rents out #Linux laptops 🐧 💻 https://mro.name/laptop

Builds a 🚲 for the #social #web: https://Seppo.mro.name (using 🐫 @ocaml). Generously incubated as https://NLnet.nl/project/Seppo.

Occasional (lightning) talker https://mro.name/talks. Former JEE and iOS developer, past 🌳 tree planter. Netizen since the mid 90ies.

Member of https://SIGCHI.org, https://CCC.de, https://FIfF.de, https://GI.de, https://NOYB.eu, https://Blaetter.de, https://ADFC.de.

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

#permacomputing #digitalmonad. #tootfinder

smol dev working mainly with , and OCaml
user

Postgraduate Computer Science student. Loves math and code. Obsessed with Linux, Rust, and FOSS in general.

When I’m not at my computer, I’m at some mountain or river. 🏔️

I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.

Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale. Once won a gold fish in a pool tournament.

Maths, lambdas and rock'n'roll. Mathematical physicists, associate professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own

23 y.o
IT specialist, DevOps Engineer,
Rust and OCaml dev
Typst enjoyer, Frame.work user
she/they
Speaks 🇫🇷/🇬🇧/🔢

Background: Carina Nebula, Credits: NASA, ESA, CSA, STScI

Big believer in the freedom of information.
Neurodivergent (AuDHD)
Queer (Bi, Ace, Enby)
Everyone's favourite fae fox girl 🦊

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

I'm working on the OCaml ecosystem @tarides.

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

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

https://seb.mondet.org
@ni3dance
#OCaml #Guitar #Coq #Bass

Interested in #haskell #dependent_type #dependent_types #idris #idris2 #distributed #p2p #ocaml .
Exploring fediverse.

Occasional OCaml programmer, host of Signals and Threads podcast