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 #DevOps

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

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!

22 y.o
IT specialist, DevOps Engineer,
State Civil Servant
OCaml & Rust dev
Typst enjoyer, supporter, and official member of the lobby (/j)
she/they
Speaks 🇫🇷/🇬🇧/maths

Everyone's favourite fae fox girl 🦊
English only, see my old account for the French stuff

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

Big believer in the freedom of information.
Neurodivergent (AuDHD)
Queer (Lesbian, Ace, Demi romantic)

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

I'm working on the OCaml ecosystem @tarides.

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

learning ocaml
music peaked at tally hall

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.

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

Occasional OCaml programmer, host of Signals and Threads podcast

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

Wesh gro bi1? #OKLM #OCaml #MirageOS

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

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

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

Builds the social web 🚲 https://Seppo.mro.name with 🐫 @ocaml. Incubated by https://NLnet.nl/project/Seppo. Makes things deemed impossible.

Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker https://mro.name/talks. 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

latinx immigrant 🇦🇷🇸🇪🏳️‍🌈🖖🏼 he/they • ex @spotify @klarna @walnutinc



I toot about:


🚀#buildinpublic #saas

💾 #devtools #buildsystems #compilers (#rust #ocaml #erlang #elixir #rescript #javascript )


tho you'll also find 🫶🏼 #personal stuff, 🧭 #digitalnomad, 📸 #photography, and 🎼 #music here too.

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