rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
dax @thdxr.com building opencode.ai
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Mario Zechner @mariozechner.at You may know me from the Austrian parliament or national library, "hacktivist", computers this and that.
https://cards-for-ukraine.at
https://www.wired.com/story/heisse-preise-food-prices/
@badlogic@mastodon.gamedev.place
https://mariozechner.at
akshay oppiliappan @oppi.li building @tangled.org — code collaboration platform built on atproto.
rust · nix · 1-bit pixel art · plant-based · bangalore · oppi.li
apenwarr @apenwarr.ca wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, atlogin.net, and now Top Chicken @Tailscale.com doing WireGuard mesh. First search result for "epic treatise."
Terence Eden @edent.tel Longer hair than you.
Chaotic Good.
Doesn't work for The Man™ any more.
If you're involved in Blockchain or Crypto you will be blocked on sight.
All content © and personal. May not be reproduced without consent.
Blog https://shkspr.mobi/blog
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
Simon Willison @simonwillison.net Independent AI researcher, creator of datasette.io and llm.datasette.io, building open source tools for data journalism, writing about a lot of stuff at https://simonwillison.net/
oliver @eikopf.com absolutely will not shut up about programming languages. apparently also now the calendar guy
(he/him)
Armin Ronacher @mitsuhiko.at Creator of Flask • earendil.com ♥︎ writing and giving talks • Excited about AI • Husband and father of three • Inhabits Vienna; Liberal Spirit • “more nuanced in person” • More AI content on https://x.com/mitsuhiko
More stuff: https://ronacher.eu/
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🫐 currently working on https://vixen.rs and ML/ASR stuff, occasionally making videos about my latest code crimes 🦀 rust shill until something better comes up
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
The C Programming Language @c-official.bsky.social Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Rizo Isrof @rizo.odis.io Lost in macroexpand
https://github.com/rizo
Daniel Ehrenberg @littledan.dev
(((🏳️🌈🪗🎹🏊🟥🟨🟪)))
Chris Armstrong @chrisarmstrong.link Software developer. Javascript/TypeScript, AWS. OCaml my camel. other tech stuff.
🇦🇺 🏳️🌈
Blog: https://www.chrisarmstrong.dev
Terrateam @terrateam.io Open-source infrastructure automation using familiar GitHub workflows with Terraform, OpenTofu, CDKTF, and Terragrunt.
gingerBill @gingerbill.org I'm a Ginger thus I have no soul.
Creator of the Odin Programming Language https://odin-lang.org
Working with JangaFX on EmberGen/GeoGen/LiquiGen
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Don Syme @dsyme.bsky.social GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Alberta Tech @albertatech.bsky.social 👩💻 Software eng
🤪 Creator of cringe tech videos
🥺 The funniest girl in us-east-1
beacons.ai/albertatech
Internal Tech Emails @techemails.bsky.social Internal tech industry emails that surface in public records. 🔍 https://techemails.com
Adriana Porter Felt @apf.bsky.social I like writing silly skeets, but that doesn't pay so I also make Google Chrome. mamá, Eng Director, volunteer at Second Harvest. 🇺🇲🇨🇷
Twitter: @__apf__
derek guy @dieworkwear.bsky.social Menswear writer. Editor at Put This On. Words at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. Porter.
If you have a style question, search:
https://dieworkwear.com/ | https://putthison.com/start-here/
Molly White @molly.wiki writes citationneeded.news • runs @web3isgoinggreat.com and @influence.citationneeded.news • tech researcher and cryptocurrency industry critic • software engineer • wikipedian
support my work: citationneeded.news/signup
links: mollywhite.net/linktree
💗💜💙
@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 🐫
Shriram Krishnamurthi @shriram.bsky.social 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.
maxrn @maxrn.dev Computer science student
Go, nix, OCaml, some web
neovim btw
Tomas Petricek @tomasp.net Assistant prof at @mff.unikarlova.cuni.cz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Bartosz Sypytkowski @horusiath.bsky.social Yrs/Yjs core dev team. Interested in distributed systems, databases and CRDTs. Blogging: https://www.bartoszsypytkowski.com
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
OCaml @ocaml.org https://ocaml.org
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
Thomas Letan @lthms.soap.coffee “Decent solutions provider.” He/him.
https://soap.coffee/~lthms
Seref Arikan @seref.bsky.social Nerd. Programmer. Consultant at times. Tech lead at Ocean Health Systems. Londoner, likes writing code, sci-fi, B movies. Likes kind people. Please don't yell.
Adam Leventhal @ahl.bsky.social Podcast editor (as long as quality and urgency aren’t important)
🌎👩🚀🔫🧑🚀
Rick Minerich @rickasaurus.bsky.social Algos/ML/LLMs/FP/Mgmt, Formerly: AI Healthcare VP of Eng, AI RegTech CTO (successful exit). Twitter circa 2008.
Tim McGilchrist @tsmc.purely-functional.com OCaml and Haskell connoisseur. Principal software engineer at Tarides. Compilers, runtimes, garbage collection, and general systems hackery.
More at https://lambdafoo.com
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
johndisandonato @johndisandonato.bsky.social I write fast code (mostly Rust 🦀), I go fast at videogames (mostly Dark Souls III ⚰️) and I communicate fast (mostly with my hands 🇮🇹).
https://github.com/veeenu :: https://twitch.tv/johndisandonato
Ty Overby @tyoverby.com Professional OCaml enjoyer.
Views expressed therein are also those of your employer.
Micah Cantor @micahcantor.bsky.social Software engineer @ Full Code Medical • Grinnell College '24 • Boston, MA
https://micahcantor.com
p1xelHer0 @p1xelher0.com 
Sergey Tihon 🦔🦀 @sergeytihon.com Father. Husband. Developer. Microsoft MVP. Likes #fsharp 🦔, #rust 🦀 and is curious about NeoVim.
https://sergeytihon.com
https://github.com/sergey-tihon
synic @synic.dev Software Dev (Python, Go, TypeScript, soon to be Elixir) | Amateur Photographer | Linux, Neovim, and Apple enthusiast | He/Him
#python #go #golang #photography #neovim #linux
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
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!
Ashley Claymore @ashley-c.bsky.social JavaScript Infrastructure & Tooling at Bloomberg. TC39 Delegate. London.
ian molee @ianfoo.dev programmer 👨💻 live music enthusiast ⭕️ dog simp 🐕
NullVoxPopuli @nullvoxpopuli.com Artificer of Code.
OpenSource, TC39 Signals, StarbeamJS & @emberjs.com enthusiast and advocate
Former @react.dev
Where i'm at
nullvoxpopuli.com/page/links
Projects
tutorial.glimdown.com
limber.glimdown.com
#SwarmLyfe
Queen of Blades, she/her, obv
Rob Palmer @robpalmer.bsky.social JavaScript Infrastructure & Tooling at Bloomberg. Co-chairing TC39. Likely to tweet tech stuff about JS & software performance. Opinions are my own.
Ian Henry @ianthehenry.bsky.social i work at the intersection of set theory and figurative language
http://ianthehenry.com | http://bauble.studio | http://janet.guide | http://toodle.studio
Andre Popp @andreypopp.bsky.social 
Kelsey Hightower @kelseyhightower.com Minimalist
Scott Hanselman 🌮 @scott.hanselman.com I want you to win and be happy. Code, OSS, STEM, Beyoncé, T1D, open source artificial pancreases, Portland, 3D printing http://hanselminutes.com inclusive tech podcast! VP/Member of Technical Staff, Microsoft/GitHub 🌮
http://hanselman.com/about
David Fowler @davidfowl.com Distinguished Engineer @ Microsoft 🧐. Creator of NuGet, SignalR and ASP.NET Core, Barbadian 🇧🇧, Tennis Player.
Mara Bos @mara.bsky.social Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her
Patrick Walton @pcwalton.turbofishstudios.com Programming languages and graphics person. Rust compiler, Firefox, and Bevy contributor. Currently working on an unannounced project!
Raph Levien @raphlinus.bsky.social Doing fundamental research in UI and 2D graphics
Andrew Gallant @burntsushi.net I love to code.
https://burntsushi.net
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.
antirez @antirez.bsky.social Reproducible bugs are candies 🍭🍬
I like programming too much for not liking automatic programming.
Simon Marlow @simonmar.bsky.social I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
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
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
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
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
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
F# Online @fsharponline.bsky.social Supporting the worldwide #fsharp community via online channels
https://hachyderm.io/@fsharponline
https://x.com/fsharponline
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
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
Тsфdiиg @tsoding.bsky.social Recreational Programming
- https://www.youtube.com/@Tsoding
- https://www.youtube.com/@TsodingDaily
- http://twitch.tv/tsoding
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera