Andy Peace @adpeace.bsky.social Computer scientist. Software engineer. Dad. Data obsessed. Hiker and nature lover. Posts are my own.
Sora Morimoto @smorimoto.bsky.social OCaml, MirageOS, ECMAScript
https://www.morimoto.io
Sacha Ayoun @sacha.soteria-tools.com CTO of soteria-tools.com, Scaling Reasoning for the age of AI
Bill Thompson @billt.bsky.social Hack and pundit. BBC Research & Development. Formerly Digital Planet.
わたる @ardillagk.bsky.social フォロー整理中。- Q gogopa @qwaka.bsky.social
Curly Braces @loopinglife.bsky.social Daily nuggets of software wisdom.
Daniel Brunner @dbrunner.de I ❤️ CS, Econ, programming in F#/🐪️ (still a fan of Common Lisp/Scheme/Racket). Located in 🇩🇪️, he/him.
https://www.dbrunner.de
Hawkeye8 @hawkeye8.bsky.social Do Good! Speak Up!
Take A Stand🗣️
🚫NO DMs
Alex Bradbury @asbradbury.org Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems. 
@testcross.bsky.social @testcross.bsky.social he/him https://mastodon.online/@khady
@keja.bsky.social @keja.bsky.social 
shoe_ _\;^-.-^;/_ _bum @shoebum.bsky.social I might post less here and more at https://shubhamkumar13.codeberg.page
Watch me on : twitch.tv/shoe_bum
Energy & Environment Group, Cambridge Computer Science @eeg.cl.cam.ac.uk We are the Energy and Environment research group at Cambridge Computer Science. You can find our homepage at https://www.cst.cam.ac.uk/research/eeg, and all videos from our seminar series at https://watch.eeg.cl.cam.ac.uk
Hard On News @bluebirdnews.bsky.social Getting deep into the stories that matter. Delivering stiff, unpenetrated reporting from the heart of the action. We're committed to keeping you fully informed
@ea640x480.bsky.social @ea640x480.bsky.social Living in the subjunctive
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Ambient Music For Study & Sleep @ambientsounds.bsky.social Hello weary traveler. You may rest here.
Subscribe on YouTube https://www.youtube.com/@lamentedarmor
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
@tarides.com @tarides.com We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
@cami-poluy.bsky.social @cami-poluy.bsky.social 
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Jan Midtgaard @janmidtgaard.bsky.social Recovering academic. Occasionally hacks OCaml and property-based testing, manufacturing bad luck on an industrial scale.
Mastodon account: https://types.pl/@jmid
Heidi Howard @heidihoward.bsky.social 
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Terrateam @terrateam.io Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
Thomas Gazagnaire @gazagnaire.org #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!
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Sadiq Jaffer @sadiq.toao.com Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
David Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Anil Madhavapeddy @anil.recoil.org 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