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

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

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

Computer Graphics & Programming Languages person.

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

I organize @graphicsmeetup

he/him

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

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

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.

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

he/him

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

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

Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…

Based on formal methods, developed mainly in OCaml.

This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

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

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

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

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

23 y.o
IT specialist, DevOps Engineer,
Rust and OCaml dev
Typst enjoyer, Frame.work user
she/they
Speaks 🇫🇷/🇬🇧/🔢

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

Big believer in the freedom of information.
Neurodivergent (AuDHD)
Queer (Bi, Ace, Enby)
Everyone's favourite fae fox girl 🦊

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

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

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Wesh gro bi1? #OKLM #OCaml #MirageOS