LaurieWired @lauriewired.bsky.social researcher @google; serial complexity unpacker
ex @ msft & aerospace
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
@sww1235.bsky.social @sww1235.bsky.social 
Dan @d4m1n.bsky.social Potentially not an award winning dev person. Likes to design UIs, but also likes pizza🍕
Shipped:
📄 pageai.pro
🎙️ morningmakershow.com
shipixen.com / imgxai.com / hunted.space / crontap.com / clobbr.app / saventify.com
more on:
mindrudan.com / x.com/d4m1n
Agent Shell @agentsh.bsky.social In the galaxy I come from, code quality is the law of the land and OOP simply doesn’t exist.
I live and breathe distributed systems and Rust.
And yes, I have a soft spot for ’90s cinema.
Opinions are my own.
Eric Wastl @was.tl Created http://adventofcode.com, http://compute-cost.com, http://anoik.is, http://was.tl/projects/; Principal Architect at https://acvauctions.com
XEER @julianxeer.bsky.social Afrofuturism
Panafricanism
Decolonial Social Democracy
CTO + Web Dev
Integral Psych
Intersectional Cultural Analysis
Black Business
Transgressive Evolution:
https://substack.com/@xeer
Nath Yogi | Ifà Orìṣà
36. Afro-Caribbean 🇺🇸 🇵🇦
(he/they)
Jared Norman @jardo.dev serving at the altar of digital commerce https://jardo.dev
Heath @heathhenley.dev Señor Application Engineer at a small sonar shop.
Writing about things here: https://heathhenley.dev
Jesse Singal @jessesingal.com Journalist, co-host of Blocked and Reported, author of The Quick Fix and an upcoming book on youth gender medicine. Mostly just asking questions.
More info: JesseSingal.com
Chukwuma @fearful-odds.rocks Backend dev with Kt |🐫| F# | TS | C# on Debian 13 and Nix-OS.
Decisions are temporary.
Currently playing nothing
gablin @gsbcamargo.bsky.social music lover, code wrangler, law bender
an autistic carbon-based life form
Jason Turner @lefticus.bsky.social C++ Developer, Trainer, Speaker, YouTuber
https://www.youtube.com/@cppweekly
Matt Godbolt @matt.godbolt.org Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
DocWilco @drwil.co Tall Dutch geek. Sysadmin & Developer, Party Animal. He/him. They/them is fine. @annleckie.com neutral pronouns will get you cookies. 
Jason K Pargin, author @jasonkpargin.bsky.social Author of John Dies at the End, formerly David Wong of Cracked.com fame 
i/o @avidseries.bsky.social 
Yann LeCun @yann-lecun.bsky.social Professor a NYU; Executive Chairman at AMI Labs..
Researcher in AI, Machine Learning, Robotics, etc.
ACM Turing Award Laureate.
http://yann.lecun.com
Jason Haddix @jhaddix.bsky.social CEO, CISO, Trainer, Hacker, and Speaker.
AI + hacking + sec leadership.
ex:BuddoBot-Ubisoft-Bugcrowd-Fortify-HP-Redspin-Citrix.
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. 
Federico Biccheddu @f15u.dev Software Engineer, CTO @ Parcy, Inc · Effect-TS enthusiast · EDM Composer
Matthew Rathbun @matthewrathbun.com I’d make a fine Jedi. Content creator focusing on real estate tech, marketing, AI, and productivity. Listener of stories, sharer of ideas. Husband, father and grandfather. 💻 My life runs on Notion.so
www.matthewrathbun.com
Chris Vermilion @verm.me Software nerd. Order Muppet. Recovering physicist. Not really that sad of a dad. https://verm.me
Be the friend you want to have everywhere.
cube @c-cube.bsky.social 
sarah jeong @sarahjeong.bsky.social i write at @theverge.com. Portland, OR.
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Daniel Bachler @danielbachler.de Head of Engineering at @ourworldindata.org; likes nuanced discourse, weird creatures and programming languages with ADTs
FUN OCaml @handle.invalid FUN OCaml 2024 is an open source hacking event dedicated to OCaml enthusiasts and professionals
September 15+16, 2025 - Warsaw, Poland
https://www.youtube.com/@FUNOCaml
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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Josh DeGraw @degraw.dev Husband, dad x3, world-class yak shaver.
Senior Software Engineer.
ADHD, F#, C#, Rust, TS, React, etc. Opinions my own
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
Terrateam @terrateam.io Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Andre Popp @andreypopp.bsky.social 
Yawar Amin @yawaramin.bsky.social Recent escapee from that other social media platform with a musky smell
Randall Munroe @xkcd.com 
Colin Godsey @colingodsey.com Estes Park CO, millennial, tech, #OSS, #ML, #RL, data science, rescue dog servant, #Linux daily driver, gamer, 💙. Staff Eng at Ergatta. Opinions my own.
petrockette @petrockette.bsky.social ∑Π≃λ×🍩
Wayward physics girl doing work in Haskell and Agda now
HoTT, literature, film, history, bicycles, roadsters, trains, and of course cooking
@petrockette@masto.ai
Maxx @maxximusradimus.bsky.social Left of center, cave dwelling femenist hunter gatherer who loves his dogs, wife and kids.
Marcus Hutchins @malwaretech.com threads.com/@malwaretech
https://linkedin.com/in/malwaretech
https://marcushutchins.com
Mark Russinovich @markrussinovich.bsky.social CTO of Microsoft Azure, author of novels Rogue Code, Zero Day and Trojan Horse, Windows Internals, Sysinternals tools. Opinions are my own.
Maybe @maybe.co Maybe is an OSS fintech startup creating the OS for your personal finances! maybe.co
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Alexandria Ocasio-Cortez @aoc.bsky.social Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible.
ocasiocortez.com
Jean Niklas L'orange 🦆 @hypirion.com Norwegian algorist & functional programmer at Kodemaker, death/doom/avant-garde metalhead, sci-fi reader, angry feminist and duck fan 🦆
hypirion.com
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
aron @adler.dev ⊙ software eng. FP, type systems, #LeanLang hobbyist. jewish. not a p-zombie i promise.
Omniscient @omnisci3nce.bsky.social Software enthusiast focused on embedded systems, protocols, infra and system design. Likes: pottery, tennis, languages. 日本語OK
blog.joshrowe.dev
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
Lukasz Stafiniak @lukstafi.bsky.social Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.
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
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.
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.
Tom @lessp.dev appreciator of intuitive UI experiences, functional programming, and outdoors. occasional music maker
O'Cameleer @ ahrefs
Stockholm, Sweden
Vladimir Keleshev @keleshev.com OCaml programmer, author of Compiling to Assembly from Scratch: https://keleshev.com/cas
Copenhagen
OCaml Brazil @handle.invalid 
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
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
oliver @eikopf.com absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Furious Sheep @furioussheep.bsky.social FAFO-oriented programmer. Please don't ruin the social thing yet again. he/they
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!
OCaml @ocaml.org https://ocaml.org
Talia Ringer @taliaringer.bsky.social 
Emil Privér @priver.dev Founding engineer and Part-Owner at http://enad.io | Love rust and go
Joel @ptrtojoel.dev I like Rust & OCaml | jiujitsu purple belt | FP Java in Neovim
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.
p1xelHer0 @p1xelher0.com 
Dmitrii Kovanikov @chshersh.com 🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
⿻ 🌱 Eileen Energy @eileen.actor Actress: Rochelle "Westy” Westidge on The Chair Company HBO
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.
Chris Armstrong @chrisarmstrong.link Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
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
Dillon Mulroy λ @dillonis.online Software Engineer @vercel ▲ • Tweets about Functional Programming, TypeScript, Neovim, & Formula 1 • http://github.com/dmmulroy • http://twitch.tv/dmmulroy
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
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Oscar Lepoeter @handle.invalid hogeschooldocent digitale geletterdheid pabo en ad-pep
Sam Huckaby @samhuckaby.bsky.social ✝️Husband and father
https://samhuckaby.com
https://origins.fm
The Onion @theonion.com America’s Finest News Source. A @globaltetrahedron.bsky.social subsidiary.
Get the paper delivered to your door: membership.theonion.com
Join The Onion Newsletter: https://theonion.com/newsletters/
Charlie Marsh @crmarsh.com Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
Ef Rodriguez @efrod.bsky.social I drink Dew and love you
SwiftOnSecurity @swiftonsecurity.com computer security person. former helpdesk
Linus @linustorvalds.bsky.social 
Linux @linuxkernel.bsky.social REAL Linux kernel account 100% Real No Fake
The Linux Foundation @linuxfoundation.org A nonprofit organization enabling mass innovation through open source. #linux #kubernetes #riscv #hyperledger #anuket #openssf #openjs #o3de and more!
KDE @kde.org Follow us on Mastodon!: https://floss.social/@kde
A worldwide technology community 🌍 Creators of the Plasma desktop & a variety of Free and open source applications that let you control your digital life.
Get more KDE news at https://floss.social/@kde
James Baicoianu @bai.dev Speedrunning the Gartner Hype Cycle since the turn of the century
Piotr Esden-Tempski @esden.net fediverse: @esden@chaos.social
Embedded Open-Source Hacker? Founder of 1BitSquared https://1bitsquared.com | Maintainer https://black-magic.org | https://icebreaker-fpga.org
#hardwarehackers #fpga #asic #embedded #risc-v
he/him