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

#GetFediHired: #Linux/ #BSD admin, 20-40h, remote oder #Salzburg <-> #Rosenheim 📍 #Traunstein #Germany

Rents out liberated laptops 🐧 🌿 https://mro.name/laptop

Built the social web 🚲 https://Seppo.mro.name with 🐫 @ocaml. Incubated by https://NLnet.nl/project/Seppo.
Continues to make things deemed impossible.

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

#permacomputing #digitalmonad. #tootfinder

Projekte: telix | tessera | frankenstein | surd
Linux-Kernel-Schwerpunkt: pgcl | pidhashing | hugetlbfs | filtered wake-ups | cpumask_t
Sprachniveaus: en:C1 | es:B1 | de:A2 | eo:A2 | lernbereit für weitere Sprachen
Pronomen: ela | ella | elle | lei | sie | она | वह | 她 | هِيَ
📍Berlin, Deutschland

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

Computer Graphics & Programming Languages person.

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

I organize @graphicsmeetup

he/him

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

Software alchemist. Clojure(Script). OCaml. Perl. Emulators. Interpreters. Games. Emacs. Movies. Strength training. He/him. Melbourne, Australia.

#Clojure #OCaml #Perl #Emacs #EmulatorDevelopment #GraphicsProgramming #LangDev

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

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. This is a private account, not representing my employer.

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

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

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

Artisan-développeur de logiciels (#OCaml), bricoleur (#bois), jardinier.
#linux #ocaml #woodworking

Occasional OCaml programmer, host of Signals and Threads podcast

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.

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

he/him

24 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 🦊

~~ Contact ~~

Signal: vanilla_extracts.48
DM: ou discord (vanilla_extracts)

XMPP (PRÉFÉRÉ) : [email protected]
Matrix: @me:faefox.dev

E-Mail: [email protected]

https://seb.mondet.org
https://linktr.ee/hocnyc
@ni3dance
#OCaml #Guitar #Rocq #Bass

#OCaml developer

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

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

Aspiring long distance #runner

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