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

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

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

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.

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

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

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

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

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

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

Wesh gro bi1? #OKLM #OCaml #MirageOS

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

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 and sabotaged for now by Googler bullying: https://mastodon.social/@Edent/115048990801167629.
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

smol dev working mainly with , and OCaml
user

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

he/him

Occasional OCaml programmer, host of Signals and Threads podcast

#OCaml developer

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

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.

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.

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

Computer Graphics & Programming Languages person.

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

I organize @graphicsmeetup

he/him