×
You are not logged in
Bluesky Follows
Pedro Felix
Follows by @pedrofelix.org
Anthropic
Registered:19 Nov 2024 19:33
Follow date:27 Feb 2026 23:35
We're an Al safety and research company that builds reliable, interpretable, and steerable Al systems. Talk to our Al assistant Claude at Claude.ai.
James Snell
Registered:25 Apr 2023 01:19
Follow date:27 Feb 2026 16:48
#FDJT.
He/Him
JavaScript In Depth - https://www.manning.com/books/...
Joe Cutler
Registered:27 Apr 2023 16:57
Follow date:21 Feb 2026 14:54
cutler.pl
Ken Shirriff
Registered:11 May 2023 01:40
Follow date:16 Feb 2026 07:25
Computer history. Reverse-engineering old chips. Restored Apollo Guidance Computer, Alto. Ex-Google, Sun, Msft. So-called boffin.
Alejandro Serrano Mena
Registered:19 Nov 2024 20:03
Follow date:10 Feb 2026 14:59
👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
azariah.bsky.social
Registered:18 Jun 2025 23:25
Follow date:8 Feb 2026 09:35
Jujutsu VCS
Registered:4 Feb 2026 19:53
Follow date:4 Feb 2026 23:10
Jujutsu—a version control system #jj-vcs
Documentation: https://docs.jj-vcs.dev/
Ed
Registered:27 Apr 2023 23:01
Follow date:23 Jan 2026 07:42
Main Character Syndrome, but fun. Boston-based. My wood shop and my dogs are my personality. If you're still reading this, I'm your dad now. Sorry, I don't make the rules.
I don't speak for my employer.
signal: edr.91
JP Aumasson
Registered:1 May 2023 06:59
Follow date:18 Jan 2026 09:25
https://aumasson.jp
cofounder & CSO @ taurushq.com
cryptographer (BLAKE2, BLAKE3, SipHash)
author of Serious Cryptography https://nostarch.com/serious-c... and other books
Signal: jpa.01
Cassidy
Registered:23 Apr 2023 18:31
Follow date:17 Jan 2026 17:15
Making memes, dreams, & software!
Sr. Director of Dev Advocacy at GitHub. Married to a dweeb and mom to a nerdy toddler + baby combo. She/Her ✝️ CHI 🏠
Subscribe to my newsletter!
cassidoo.co/newsletter
Anne Applebaum
Registered:7 Oct 2023 14:09
Follow date:10 Jan 2026 21:06
staff writer @theatlantic.com and senior fellow @snfagora.bsky.social. author of GULAG, IRON CURTAIN, RED FAMINE, TWILIGHT OF DEMOCRACY and AUTOCRACY INC
https://linktr.ee/anneapplebau...
Type Theory Forall
Registered:3 Jan 2025 14:59
Follow date:7 Jan 2026 07:44
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:7 Jan 2026 07:32
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Adam Chalmers
Registered:14 Apr 2023 03:25
Follow date:6 Jan 2026 07:04
Texan (prev Australian). Father (prev gamer). Pynchon fan (prev illiterate).
Building a new programming language for CAD at zoo.dev. Built a lot of Cloudflare Tunnel. I run austinsystems.org and love reading sci-fi and history.
Sam Rose
Registered:4 Jan 2024 18:24
Follow date:16 Dec 2025 18:24
That guy who makes visual essays about software at https://samwho.dev.
Developer Educator @ ngrok.com. Want to pair on something ngrok related? Let's do it! https://cal.com/samwho/workhou...
He/him.
David Crawshaw
Registered:23 Apr 2023 13:17
Follow date:16 Dec 2025 07:43
ceo exe.dev, tailscale co-founder, programmer
dax
Registered:15 Apr 2023 13:38
Follow date:15 Dec 2025 07:43
building opencode.ai
Ashley Claymore
Registered:31 Oct 2023 15:07
Follow date:18 Nov 2025 07:09
JavaScript Infrastructure & Tooling at Bloomberg. TC39 Delegate. London.
Steve Sanderson
Registered:5 Jul 2023 21:01
Follow date:11 Nov 2025 21:21
Krzysztof Cieslak
Registered:25 Apr 2023 12:25
Follow date:11 Nov 2025 21:17
Artist 🎨 | Photographer 📷 | Globetrotter 🌍 | Speaker 🤹🏻♂️ | Author of Ionide 🚀 | Researcher @ Github Next 🔬| Co-creator of #GitHubCopilot, Copilot NES, Agentic Workflows, and [REDACTED] | Building the future of software development 💻
Don Syme
Registered:27 May 2023 19:14
Follow date:11 Nov 2025 21:15
GitHub Next. Visiting Professor Kings College London.
https://dsyme.net
https://linktr.ee/dsyme
Steffen Forkmann
Registered:2 Oct 2023 16:53
Follow date:11 Nov 2025 21:15
Chief Architect at msu solutions GmbH / m8mit. Let's drive the future!
conputer dipshit
Registered:9 May 2023 01:34
Follow date:11 Nov 2025 07:03
web dev + hot dad. enjoy charts, unions, conputer games, philosophy. chicago crespo.business
Eric Lippert
Registered:7 Nov 2024 15:41
Follow date:30 Oct 2025 19:15
Eric Lippert designs programming languages; prior work includes architecting the Hack and Bean Machine compilers at Facebook, and developing the Visual Basic, VBScript, JScript and C# compilers at Microsoft. Blog at https://ericlippert.com
rain 🌦️
Registered:15 Apr 2023 01:48
Follow date:22 Oct 2025 20:39
(gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
jacobian
Registered:3 Jul 2023 22:01
Follow date:21 Oct 2025 17:22
django, security, eng management, basketball shitposting.
web: jacobian.org
signal: jacobian.01
Subbu Allamaraju
Registered:21 Oct 2024 23:56
Follow date:21 Oct 2025 12:49
A tech, philosophy, and leadership psychology nerd.
See more at https://www.subbu.org.
react.dev
Registered:21 Oct 2024 16:45
Follow date:11 Oct 2025 20:17
Patrik Svensson
Registered:25 Apr 2023 00:14
Follow date:1 Oct 2025 06:28
Father. Husband. Programmer. Likes OSS, compilers, programming. Spectre.Console, Cake. Ally ✊🏾🏳️🌈🏳️⚧️♀️(He/Him) @patriksvensson@mstdn.social
Stockholm, Sweden
Kirill Osenkov
Registered:20 Dec 2023 00:48
Follow date:1 Oct 2025 06:17
(Unofficial) VP of Developer Productivity at Microsoft. Developer tools, engineering systems, .NET, C#, Roslyn, Visual Studio, Editor, WPF, Avalonia, MSBuild.
Jake Archibald
Registered:25 Apr 2023 15:43
Follow date:30 Sep 2025 06:41
Developer of sorts at @webdevs.firefox.com, but this is my personal account. No thought goes unpublished. He/him.
hailey
Registered:15 Aug 2023 03:48
Follow date:30 Sep 2025 06:16
engineering stuff, safety tools, and patterns. @discord.com, prev @bsky.app
opinions are my own.
Jerry Neumann
Registered:21 May 2023 13:34
Follow date:23 Sep 2025 19:03
I am going to keep writing until I figure out how to write good.
ReactionWheel.net, FounderVsInvestor.com, NeuVC.com
🐸
Lawrence Paulson
Registered:9 Sep 2023 21:26
Follow date:20 Sep 2025 13:33
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Jonathan Aldrich
Registered:29 Apr 2023 03:56
Follow date:15 Sep 2025 22:51
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.
Jon Gjengset
Registered:29 Apr 2023 00:34
Follow date:12 Sep 2025 11:20
Rust live-coder and OSS tinkerer who loves teaching. I try to maintain a high SNR. Wrote Rust for Rustaceans. At Helsing.ai. Formerly AWS. Co-founded ReadySet. @jonhoo elsewhere. he/him/they
Oliver Drotbohm
Registered:14 Nov 2024 18:15
Follow date:12 Sep 2025 06:24
Frameworks & Architecture in the Spring open source engineering team, all things Spring, Java, data, DDD, REST, software architecture, drums & music. He/him.
David Sancho
Registered:5 May 2023 14:56
Follow date:10 Sep 2025 17:03
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
Stephen Diehl
Registered:5 Dec 2023 20:27
Follow date:4 Sep 2025 08:09
Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Susan Potter
Registered:21 Jun 2023 18:43
Follow date:30 Aug 2025 21:19
Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
sophie alpert
Registered:13 Apr 2023 16:55
Follow date:23 Aug 2025 08:58
you have the ability to understand things
principal engineer, react person, super gay, still masking
Matt Godbolt
Registered:6 Apr 2024 13:46
Follow date:20 Aug 2025 08:10
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
halvarflake.bsky.social
Registered:27 Apr 2023 13:44
Follow date:18 Aug 2025 10:28
Adam Wathan
Registered:24 Oct 2024 15:55
Follow date:12 Aug 2025 08:02
I don’t post here, follow me on X: x.com/adamwathan
Alice ✨
Registered:19 May 2023 21:58
Follow date:11 Aug 2025 20:04
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Levi Broderick
Registered:8 Nov 2024 21:34
Follow date:10 Aug 2025 23:15
Your friendly neighborhood security otter. Part of Microsoft's .NET team. Personal account, not speaking for my employer. 🔥🦦🛡️🔥 -- he/him
antirez
Registered:26 Apr 2023 09:40
Follow date:8 Aug 2025 14:52
Reproducible bugs are candies 🍭🍬
I like programming too much for not liking automatic programming.
Spring
Registered:8 Nov 2024 22:48
Follow date:8 Aug 2025 09:41
apenwarr
Registered:30 Apr 2023 04:27
Follow date:6 Aug 2025 19:07
wvdial, bup, sshuttle, netselect, popularity-contest, redo, gfblip, GFiber, and now CEO @Tailscale.com doing WireGuard mesh. Top search result for "epic treatise."
Ned Pyle
Registered:26 Apr 2023 02:13
Follow date:5 Aug 2025 09:28
Dog butler to Indy, Darby, & Kell. Former USMC 0341. Chicago Tavern style. You may know me from years of MSFT. Or not. Was @nerdpyle before the bad times. Eat shït, nazis