programmer.

Interested in augmentation

Ocaml
Haskell
Racket

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

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

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

Rents out 'Alltags-Laptops' 💻 https://mro.name/laptop

Builds the social web 🚲 https://Seppo.mro.name with 🐫 @ocaml. Generously incubated as 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.

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

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

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

#OCaml developer

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

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

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

Aspiring long distance #runner

Computer Graphics & Programming Languages person.

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

I organize @graphicsmeetup

he/him

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

smol dev working mainly with , and OCaml
user

23 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, Enby)

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

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