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.

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

Aspiring long distance #runner

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)

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

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

One must live so freely existance is a crime

I'm working on the OCaml ecosystem @tarides.

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

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.

Offers adult #education https://mro.name/vhs. 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

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

#OCaml developer

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

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

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

smol dev working mainly with , and OCaml
user

Wesh gro bi1? #OKLM #OCaml #MirageOS

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.

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

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

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