@findingbugs.bsky.social @findingbugs.bsky.social 
Andrew Cairns @acairns.co.uk Using metaphors and analogies to explain Software Engineering in fun ways: https://youtube.com/@metaphoricallyspeaking
Staff Software Engineer. Passionate about DDD, CQRS, Event Sourcing and Distributed Systems.
Kayaking, too.
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.
npmx @npmx.dev npmx.dev is a fast, modern browser for the npm registry
get involved at repo.npmx.dev and join us at chat.npmx.dev
The Consensus @theconsensus.dev on software infrastructure
https://theconsensus.dev/weekly.html
David Buchanan @retr0.id reverse engineering, cryptography, exploits, hardware, file formats, and generally giving computers a hard time
Fedi: @retr0id@retr0.id
Macroblog: https://www.da.vidbuchanan.co.uk/blog/
Carmine Di Monaco @cdimonaco.bsky.social Software Engineer
elixir, golang, kubernetes and things of that nature.
Opinions are my own
Dan Ciruli @danciruli.cloud Software and product management guy. Cloud Native, API and reformed service mesh guy, I guess. Dad. Husband. Oaktowner.
I work at Nutanix, but this is my feed, not theirs.
Iroh @iroh.computer IP addresses break, dial keys instead.
I'm iroh.computer from the folks at n0.computer, a modular networking stack in Rust 🦀
AT Protocol Developers @atproto.com Social networking technology created by Bluesky.
Developer-focused account. Follow @bsky.app for general announcements!
Bluesky API docs: docs.bsky.app
AT Protocol specs: atproto.com
UpCloud @upcloud.com A cloud provider from Finland, with data centers around the world.
Private, secure, cost-effective servers.
This account is run by engineers.
Would you like to know more?
https://upcloud.com
iter::reskeet(🦀) @tuckersiemens.com https://mypronouns.org/he-him Senior Software Engineer at Microsoft. Opinions my own. Sometimes I write code, but more often I just talk about Rust 🦀.
Santiago Greco @fsg.bsky.social Software Developer, mate & meme connoisseur🧉👨🏽💻
Born in Argentina, living in Italy | Master in Mass Media & Politics | former translator and journalist now writing mostly code | Staff at @journalismfestival.com
Writing in English 🇬🇧, Spanish 🇦🇷 and Italian 🇮🇹
Alessio - アレッシオ @dottorblaster.it Principal Software Engineer @ SUSE - operating systems and containers shenanigans
email: alessio@dottorblaster.it
website: https://dottorblaster.it
geesawra @geesawra.industries somewhere between nature and tech is a programmer lusting after bikes, that programmer is me
🇮🇹/🇬🇧
DM for Signal if you're a mutual.
Doing software things at Bluesky — views & shitposts are my own
Chad @chadtmiller.com software engineer, building @grain.social, hacking on atproto
@zooko2.bsky.social @zooko2.bsky.social 
joshua stein @jcs.org Hello, cyberpals. I make @pushover.net and old Macintosh stuff and @deskto.ps and sometimes OpenBSD stuff for you and me.
Oak Park, Illinois
Fediverse: @jcs@jcs.org
Hypertext on the World Wide Web: jcs.org
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.
@lmstr.bsky.social @lmstr.bsky.social lemmster.de
@lemmster, @lmstr, or @lemmy elsewhere 
Rohan Padhye @rohan.padhye.org Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
Oskar Wickström @wickstrom.tech Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
Blog at wickstrom.tech, work at antithesis.com
Matthew Sanabria @matthewsanabria.com Christian. Husband to my beautiful wife. Engineering at @oxide.computer. Podcasting at @fallthrough.fm.
matthewsanabria.com
dan @danabra.mov no, this is how it works
Charity Majors @charity.wtf cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
Oskar Dudycz @oskardudycz.bsky.social ⚡ Event Sourcerer
✍️ Blogger at http://event-driven.io
👨💻 Open Sourcing at https://github.com/oskardudycz
📧 Newsletter: http://architecture-weekly.com
Matthew Weidner @mweidner.bsky.social Collaborative software at Common Curriculum / CMU
I write about CRDTs etc: https://mattweidner.com/
GOTO Conferences @gotocon.com #GOTO Presents the Brightest Minds in Tech.
Check out GOTO Conferences.
https://gotopia.tech
https://www.youtube.com/@GOTO-
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Chris (Links) @links.chris.blue A mirror of @chris.blue's Raindrop infrastructure bookmarks
https://raindrop.io/criccomini/infrastructure-57036399
IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
Automerge @automerge.org Automerge is a library of data structures for building collaborative applications
📚 https://automerge.org/
💬 https://discord.gg/vvnytpgSnr
📆 https://lu.ma/automerge
rain 🌦️ @sunshowers.io (gender)queer transsexual / they/them / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / #jj-vcs #1 fan / https://nexte.st / https://sunshowers.io
also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
TigerBeetle @tigerbeetle.com The financial transactions database designed to power the next 30 years of online transaction processing.
Sync Conf @syncconf.bsky.social Sync Conf is a boutique conference on the future of real-time, collaborative, agentic software development. 12th Nov2025 in SF.
https://syncconf.dev/ | View talks: https://tinyurl.com/mr3yzxea
Ananth Packkildurai @ananthdurai.bsky.social Editor Data Engineering Weekly; subscribe www.dataengineeringweekly.com. In Prgress, LakeByte
Cyan Nyan 星乃しお 🩵✨ 3D Yuri Wedding 2026 @cyan.yt Hacker Neko Vtuber | xGoogle & 💍 with @lina.yt | https://cyan.yt/magic
Tuta @tuta.com Tuta is a secure email, calendar and drive provider with quantum-safe encryption. Open source & forever free! 🔒
Visit us 👉 tuta.com
#TurnONprivacy
Miguel de Icaza @migueldeicaza.bsky.social 🍉Fun Stack Vibing at @xogot.bsky.social
Started Xamarin, Mono, Gnome. Prev: Microsoft/.NET/Xamarin/Mono/VSMac/MAIA http://mastodon.social/@migueldeicaza
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
Clever Cloud @clever.cloud From Code to Product
Signal @signal.org Signal is a nonprofit end-to-end encrypted communications app. Privacy isn’t an optional mode, it’s the way Signal works. Every message, every call, every time. https://signal.org/donate/
Local-First Conf @localfirstconf.com Connect with a rapidly-growing Local-First community. Join us for our third edition 12-14th of July 2026 in Berlin. www.localfirstconf.com
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
CachyOS @cachyos.org CachyOS is an archlinux based distribution, which targets performance and usability.
Gergő Érdi @gergoerdi.bsky.social Finite tape Turing machine
Particular Software @particular.net Makers of NServiceBus and the most developer-friendly service platform for .NET
Roomy @roomy.space make space · cultivate knowledge
Made by @erlend.sh, @zicklag.dev and @meri.garden
Frank McSherry @frankmcsherry.bsky.social http://github.com/frankmcsherry/blog
Zero @zero.rocicorp.dev 99% of queries in zero milliseconds → https://zero.rocicorp.dev
Michael Bacarella @michael.bacarella.com Founder GPShopper (successful exit)
ex-Jane Street (pre-SBF)
ex-Google (pre-Sundar)
occasional shitpoaster
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@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 🐫
Matt Teichman @bufordrat.bsky.social I write software for librarians, teach functional programming, and produce the Elucidations podcast.
https://elucidations.vercel.app
OCaml @ocaml.org https://ocaml.org
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
Daniel Hugenroth @lambda.bsky.social Computer Security Researcher @ Cambridge (https://www.danielhugenroth.com) and Co-Founder @ Light Squares (https://www.lightsquares.dev)
Rust Language @rust-lang.org A programming language empowering everyone to build reliable and efficient software.
Website: https://rust-lang.org/
Blog: https://blog.rust-lang.org/
Mastodon: https://social.rust-lang.org/@rust
Flavio 🏴☠️ @flaviocorpa.com 👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
Barry @chiroptical.dev PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.
peterb from Tea Leaves Programming @peterb.bsky.social effort + coffee = software. See also @peterb@mathstodon.xyz
Mihai Maruseac @mihai.page Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Arian van Putten @arianvp.me Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
Dmitrii Kovanikov @chshersh.com Senior Software Engineer. I use C++
Main: http://x.com/chshersh
All opinions are my own.
Matti Palli @mpg.is aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
⇢ Anler @anler.me Psycho-framed into void
Avi Press @avi.press Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Luc Tielen @luctielen.bsky.social I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Susan Potter @susanpotter.net 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/
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Edward Kmett @kmett.ai Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
JMCT @jmct.bsky.social Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Rebecca Skinner @cercerilla.bsky.social Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/titles/rshaskell/effective-haskell/
Bartosz Milewski @bartoszmilewski.bsky.social Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMilewski/DaoFP/blob/master/DaoFP.pdf
gelisam @gelisam.bsky.social professional Haskeller
Christopher Genovese @crgenovese.bsky.social Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.
Flora.pm @flora.pm Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes.
https://flora.pm
Jasper Van der Jeugt @jaspervdj.be I like Haskell
Alejandro Serrano Mena @serranofp.com 👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Martin Janiczek @janiczek.cz martin.janiczek.cz / Functional programming / Making a browser game @nuashworld.com / Programming language design (cara-lang.com) / Property based testing / Music making. He/him.
Code BEAM @codebeam.bsky.social The family of tech conferences focused on BEAM languages:
#Erlang, #Elixir and #Gleam
21-22 October Code BEAM Harleem Join us! https://codebeameurope.com/
PGlite @pglite.dev Lightweight WASM Postgres by @electric.ax
https://pglite.dev
ElectricSQL @electric.ax The agent platform built on sync.
https://electric.ax - see also @pglite.dev
ahmet alp balkan @ahmet.dev working on inference infra @ baseten.co
ex-linkedin/twitter/googlecloud/azure
dist sys enthusiast
github.com/ahmetb
Local-First News @localfirstnews.bsky.social Weekly newsletter for local-first software developers.
Confluent, an IBM Company @confluent.io The World's Data Streaming Platform
Fernando Meyer @fernandomeyer.com LabHacker platform engineer and musician;
I'm drawn to hard problems, abstractions, and music;
I build code, hardware, and systems meanwhile overthinking with pen and paper until they’re simple. ps: I have more notebooks than is socially defensible.
Lili Cosic @lilicosic.com 👩🏻💻 Senior Database Engineer @InfluxData working on InfluxDB v3 Enterprise.
I enjoy talking about databases, observability and good food.
Previously @ HashiCorp, Red Hat.
Now in Berlin 🇩🇪 from 🇸🇮
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
NixOS Foundation @nixos.org The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
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
gabby @fullmoon.id Author of haskellforall.com, dhall-lang.org and @trygrace.dev, professional doggirl and endurance hunter
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️ coworkers DNI
https://linktr.ee/gabriella439
💖 @ember.pet
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.
Edwin Brady @edwin.type-driven.org.uk Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com)
https://www.type-driven.org.uk/edwinb/
https://www.lambda-miners.org.uk/
Gel @geldata.com A maglev for your data. Discord 👉 http://discord.gg/gel
Previously EdgeDB