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

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

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

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

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

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

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. 🏔️

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

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

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

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

Aspiring long distance #runner

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

Wesh gro bi1? #OKLM #OCaml #MirageOS

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

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

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

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

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 working on the OCaml ecosystem @tarides.

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

#OCaml developer

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket