programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Hätte gerade etwas Zeit. #FediHire

Rents out 'slightly different' laptops 🐧 🌿 https://mro.name/laptop

Built 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

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

smol dev working mainly with , and OCaml
user

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

Occasional OCaml programmer, host of Signals and Threads podcast

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

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.

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

#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

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

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

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

he/him

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

Software Engineer who lives in NYC. Spent 8 years using Go & 3 using OCaml but I mostly use Python these days. Linux user since the last millennium (but also a Mac user since 2003). Vim user since 2000. Internet user since 1996. Coder since 1992.

J'aime les #Maths, l'#Informatique, les #JeuxVidéo #JeuxDeSociété, les #JeuxDeRôle, la #SF et la #Fantasy
Je suis en M1 d'informatique à l'École normale supérieure (ENS Ulm)
Je code en #Rust #RustLang, en #OCaml et en #Python
J'utilise #NixOS, ou Windows avec #WSL

PhD-ing Department of Computer Science and Technology, Cambridge and probably doing something in OCaml

Security Engineer & Software Developer

Enjoys using #rust #zig #ocaml & #lisp

GUIX/NixOS contributor, sometimes @ CCCHH

Forbes 8 billion under 8 billion.
Former Youngest Person in the World.
Olympic Hopeful.

#Linux #FLOSS #Elixir #FSharp #JavaScript #TypeScript #React #WebDev #OCaml #Rust #LiveView #MutualAid #TTRPG