OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
Creator of Ash Framework | Principal Platform Engineer at @teamalembic | he/him
Some kind of nerd by day and goblin by night.
CS-gas {,injections} knower / Cyclophosphamide my beloved.
📍 Glasgow, Scotland
📢 FR/EN/DE
🎨 Avatar by @chordbug.bsky.social
📓 exn.st
See also:
🐘 mastodon.social/@kit_ty_kate
🐞 https://cohost.org/kit-ty-kate
Free/Libre Open Source Software | Econometrics | Consultancy | Strategy | Speaker | Writer | Emacser | Table Tennis | Chennai Super Kings | தமிழன் (Tamizhan)
Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
code artisan.
internet hippie.
techno optimist.
eu/acc advocate.
[🧑💻...💥](https://codeberg.org/gm0stache)
Associate prof at Bernoulli Institute, Groningen. Proud dad, mathematical physicist, #OCaml enthusiast, LEGO aficionado, amateur photographer, mushroom lover, fresh podcaster
#mathsky #physics #scicomm #ocaml #edusky
Also @mseri@mathstodon.xyz
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
I might post less here and more at https://shubhamkumar13.codeberg.page
Watch me on : twitch.tv/shoe_bum
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Tech and pictures of nature. Suffolk, UK
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co
ex Docker, Unikernel Systems, Citrix
DMs open for collaboration on OCaml, Irmin or MirageOS projects!
💆 mission for 2025: take care of leo
📸 street photographer at photo.leostera.com
📺 watch me code: twitch.tv/leostera
📝 writes at leostera.com
🇦🇷🇸🇪🏳️🌈🖖🏼 #adhd
Professor of Planetary Computing at the University of Cambridge @cst.cam.ac.uk, where I co-lead the @eeg.cl.cam.ac.uk and work on computing for global biodiversity and climate change with @conservation.cam.ac.uk.
Homepage at https://anil.recoil.org
Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid