Michael Reeves @integralpilot.bsky.social Teenage security researcher & systems developer.
Discovered CVE-2025-43539, author of rustc_codegen_jvm, working on Apple M3 Linux drivers.
https://github.com/IntegralPilot 🇦🇺
Scarbstech @scarbstech.bsky.social Everything Technical on wheels
Will Buxton @wbuxtonofficial.bsky.social Broadcaster, NYT Best Selling Author and voice artist.
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
RaceFans @racefans.net https://www.racefans.net
Independent Motorsport Coverage
Andres Löh @kosmikus.bsky.social Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Eric Torreborre @etorreborre.blog Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🔮 "most level-headed AI user" 🫐 working on something dataflow-shaped 🦀 known for teaching rust and not much else
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
Neovim @neovim.io Neovim is a hyperextensible Vim-based text editor
Ways to support the project:
- https://github.com/sponsors/neovim
- https://store.neovim.io
- Have fun using it and spread the word
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Bryan Cantrill @bcantrill.bsky.social Co-founder and CTO of Oxide Computer Company. According to Field of Schemes, "tech exec and Oakland A's fan" -- but more of an Oakland Ballers fan now.
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
Richard Jones @profrejones.bsky.social Emeritus Professor at U. Kent, computer scientist, GC researcher, author of The Garbage Collection Handbook (2012, 2023), Garbage Collection (1996). Opinions are my own.
Mark Cuban @mcuban.bsky.social Entrepreneur
Costplusdrugs.com
Matt Levine @matt-levine.bsky.social the money stuff guy
Sadiq Jaffer @sadiq.toao.com Researcher @ Cambridge CL, OCaml hacker, fmr CEO at Opsian
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Emery Berger @emeryberger.bsky.social Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow. 
Shrutarshi Basu @basus.me Programmer, writer, lapsed academic computer scientist. Formerly Cornell CIS & Harvard SEAS.
Isil Dillig @idillig.bsky.social CS professor at UT Austin, does research in programming languages & formal methods. 
Jonathan Aldrich @jonathanaldrich.bsky.social Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Heather Miller @heathermiller.bsky.social Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
Mae Milano @mpmilano.bsky.social Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
Randall Munroe @xkcd.com 
John Gruber @gruber.foo I write Daring Fireball and created Markdown.
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
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
Talia Ringer @taliaringer.bsky.social 
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
David Sancho @david.sancho.dev Open Source UI infra at @ahrefs.bsky.social with OCaml
Made styled-ppx and server-reason-react
Working on Reason / Melange / reason-react and friends
Made styled-ppx and server-reason-react
Working on reason-react / Melange / Reason
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
metame メタミ @metameeee.bsky.social queer 🏳️🌈 autist 🧠 SE 🦀 J-everything ⛩️
I don't agree with any of your opinions.
はじめまして!
日本語をべんきょうします
アメリカ人、ソフトウェアエンジニア、アニオタ
よろしくお願いします
Chris Armstrong @chrisarmstrong.link Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
⿻ 🌱 Eileen Cyleen @eileen.actor Actress: Rochelle "Westy” Westidge on The Chair Company HBO
Starring as Cyleen in #Cyleen
Developer: 👩💻 Elixir, PHP, Rust
Iowa -> MSP -> NYC
🏳️⚧️ she/her
https://eileen.actor
https://insihub.com
https://www.instagram.com/eileenmnoonan
My rage is my own.
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
p1xelHer0 @p1xelher0.com 
OCaml @ocaml.org https://ocaml.org
Dmitriy Kovalenko @neogoose.bsky.social Born to use camera, forced to use neovim.
Made odiff, working on http://fframes.studio, writing assembly for fun and JavaScript for money.
Sam Huckaby @samhuckaby.bsky.social ✝️Husband and father
https://samhuckaby.com
https://origins.fm
Joel @ptrtojoel.dev I like Rust & OCaml | jiujitsu purple belt | FP Java in Neovim
Emil Privér @priver.dev Founding engineer and Part-Owner at http://enad.io | Love rust and go
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
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!
Furious Sheep @furioussheep.bsky.social FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
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
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
OCaml Brazil @handle.invalid 
trav @techsavvytravvy.com sr software engineer @ crunchyroll
🦀🔪 @ crablang
winning the fight against Big Outside™
Felipe O. Carvalho @felipe.rs SWE @ dbt Labs. Past: SDF, VoDa, Spotify. Apache Arrow/Databases/Compilers/DistSys. Rust/C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎 http://bento.me/felipe / https://felipe.rs
Joey Trapp @itsatrapp.com Web developer at Apple. FP enthusiast. #ElixirLang, Gleam, #Erlang, #OCaml, and JS when forced.
Ryan @sirpandathered.bsky.social Ocaml Cameleer 🐫, C enthusiast, Reading 🦀for 🦀aceans and learning Go on http://Boot.dev.
Got an amazin wife and two future little cameleers
I use nvim btw
David @david2am.bsky.social match David with 🤓 -> web dev
| 🐪 -> into #OCaml
| ✏️ -> read him on dev.to/david2am
| _ -> 🇨🇴, ✝️
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
Chris, The 0.5x Engineer @llcoolchris.dev 🇨🇦🇫🇷
Twitch Partner http://twitch.tv/LLCoolChris_
Software Engineer #ElixirLang #Typescript #OCaml
Built https://concentration.app https://asklive.co https://swapify.live
Lukasz Stafiniak @lukstafi.bsky.social Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
John Bakhmat @johnbakhmat.dev 24 y.o Software Engineer (TS/Ocaml/Gleam/Odin)
Sebastien Marie @semarie.kapouay.eu.org OpenBSD, programming language (c, lisp, ocaml, rust, zig, …), sysadmin, infosec and others things like that
μ @aripiprazole.dev 
@prozacchiwawa.bsky.social @prozacchiwawa.bsky.social Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.
Vladimir Keleshev @keleshev.com OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
Tom @lessp.dev appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
big gina @wiredsis.bsky.social computer programmer (#OCaml, #fsharp) #tech thot leader, social justice Wario, resting bitch voice.
yes, walmart put my face on a truck
🇺🇸 ➡️ 🇦🇺
Sam Rose @samuelrose.bsky.social Platform Engineer @ Supabase Complex systems science, Foresight practice, Research, Nix/Nixos, Elixir/BEAM, Julia, Clojure, Go, Postgresql
Ryan Winchester @winchester.dev I write code and listen to chiptunes. Elixir nerd. My thoughts are your own.
Michael Bacarella @michael.bacarella.com Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Shreyas Mididoddi @shreyascodes.tech passionate developer,
http://htmx.ceo 🤷 btw!
always happy / *never sad (same thing)
mental af ? 🤔
señor junior dev,
I'm here to have fun and make friends
* = almost
Josh DeGraw @degraw.dev Husband, dad x3, world-class yak shaver.
Senior Software Engineer.
ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
Nate | KansaiGaijin | Full Stack Idiot @handle.invalid American CTO and full stack developer in Japan. Posting about everything and nothing. Everything I post is stupid.
CEO of HTMX.
アホ垢
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app