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

Aspiring long distance #runner

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

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

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

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

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

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

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

I'm working on the OCaml ecosystem @tarides .

aka/fka: @shon

23 y.o
IT specialist, DevOps Engineer,
State Civil Servant
OCaml & Rust dev
Typst enjoyer, supporter, and official member of the lobby (/j)
she/they
Speaks 🇫🇷/🇬🇧/maths

Everyone's favourite fae fox girl 🦊
English only, see my old account for the French stuff

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

Big believer in the freedom of information.
Neurodivergent (AuDHD)
Queer (Lesbian, Ace, Enby)

#OCaml developer

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.

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

smol dev working mainly with , and OCaml
user

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Occasional OCaml programmer, host of Signals and Threads podcast

Software Engineer who lives in NYC. Spent 8 years using Go but I use OCaml now. 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

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