Steve Downey @sdowney.org Professional C++ nerd. I worked to make optional<T&> happen. Working to make Text less bad in C++.
Whole person, not a brand. Posts about politics, software, books...
Software engineer at Bloomberg LP
Views are my own
he/him
@sdowney@mastodon.social
Sonali Sridhar @jollysonali.bsky.social Cofounder @recursecenter
Adam Leventhal @ahl.bsky.social Podcast editor (as long as quality and urgency aren’t important)
🌎👩🚀🔫🧑🚀
CedarDB @cedardb.com One Database,
Endless Possibilities
RustConf @rustconf.com An event dedicated to #rustlang & its community 🦀 Taking place from Sept 8-11 in Montreal, Canada in 2026!
rustconf.com
DC Systems @dcsystems.bsky.social DC Systems is an independent tech talk series focused on systems programming here in DC and the broader DMV area.
We are focused on high quality talks and expert speakers.
https://dcsystems.xyz
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/
Haskell programming language @haskell.org Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Honeycomb @honeycomb.bsky.social Observability for a distributed world. Designed for engineers to debug platforms, microservices, serverless apps, and enable collaborative problem-solving. 
Association for Computing Machinery @acm.org The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
CockroachDB @cockroachdb.bsky.social A distributed SQL database designed for speed, scale, & survival.
🪳 Meet CockroachDB: https://cockroa.ch/db
🎓 Learn for free: https://cockroa.ch/u
🎧 Listen: https://cockroa.ch/cast
Learning DuckDB @learningduckdb.com Learn DuckDB by example: https://learningduckdb.com
Get your dose of DuckDB tips, SQL tricks, and links to learn more about the swiss knife of analytical databases.
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
jessamyn @librarian.bsky.social Vermont librarian. Technology hobbyist. I love the post office. Fix your hearts. Live in hope if you can.
Bret Victor @worrydream.com worrydream.com
dynamicland.org
Chad Fowler @chadfowler.com GP&CTO @blueyard.com
Author, musician, speaker, developer
AT-proto based encrypted group chat protocol: @freeq.at
Regenerative Software with the Phoenix Architecture: https://aicoding.leaflet.pub/
https://chadfowler.com/
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, ...
ICFP Conference @icfp-conference.bsky.social ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social
https://icfp26.sigplan.org/
https://icfpconference.org/
Martin Fowler @martinfowler.com Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
host of https://martinfowler.com
Modern Software Engineering @modernswe.bsky.social The Modern Software Engineering Channel ➡️ https://www.youtube.com/@ModernSoftwareEngineeringYT
Tanel Poder @tanelpoder.com A long-time computer performance nerd. Creator of https://0x.tools. Perf & troubleshooting blog: tanelpoder.com. All onions are mine!
Piotr Sarna @sarna.dev Currently: poolside
Hacking history: Turso, libSQL, Seastar, ScyllaDB, LizardFS, some kernel stuff
Type Theory Forall @ttforall.bsky.social Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Jepsen @jepsen.mastodon.jepsen.io.ap.brid.gy Breaking distributed systems, one fault at a time.
[bridged from https://mastodon.jepsen.io/@jepsen on the fediverse by https://fed.brid.gy/ ]
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
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
Paul Chiusano @pchiusano.bsky.social Working on @unison-lang.org
Conor Power @conorpower23.bsky.social Principal Applied Scientist in Microsoft CoreAI. Working on AI for coding. Co-organizer of SF Systems Meetup. CS PhD from Berkeley Sky Lab where I worked on https://hydro.run/ .
@noelwelsh.bsky.social @noelwelsh.bsky.social I'm writing a book, online at https://functionalprogrammingstrategies.com/
My personal site is https://noelwelsh.com/
@ranjitjhala.bsky.social @ranjitjhala.bsky.social 
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.
Randall Munroe @xkcd.com 
Torsten „Teggy“ Grust @teggy.org Professor — like database systems, programming languages, and SC Freiburg ツ
Justin @jaffray.bsky.social turning to the succor of modern computing machines, let us renounce all analytic tools
https://buttondown.com/jaffray justinjaffray.com
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
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
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.
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.
Peter Zaitsev @peterzaitsev.bsky.social Founder at Percona, Altinity, FerretDB,Coroot - Open Source, Data, Observability: Entrepreneur, Investor, Advisor, Author, Speaker 
Alex Miller @alexmillerdb.bsky.social Database Papers as a Service
@ me with your DB paper questions or “what do I read for ___” topic requests
TigerBeetle @tigerbeetle.com The financial transactions database designed to power the next 30 years of online transaction processing.
Joran Dirk Greef @joran.tigerbeetle.com Creator, Founder and CEO of @tigerbeetle.com — the financial transactions database designed for mission critical safety and performance.
Jeffrey Snover @jsnover.com PowerShell inventor, Reader, Science & Geopolitics geek, Philosopher-Errant, Retired
Matt Klein @mattklein123.dev CTO @bitdrift.io. Software engineer and creator of Envoy Proxy. 
Nate Foster @natefoster.bsky.social Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
South Bay Systems @southbaysystems.xyz https://southbaysystems.xyz
https://youtube.com/@southbaysystems
@jeremysiek.bsky.social @jeremysiek.bsky.social 
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Loris Cro ⚡ @kristoff.it VP of Community @ Zig Software Foundation • Zig Livecoding http://twitch.tv/kristoff_it • Curator of http://softwareyoucan.love • Creator of https://zine-ssg.io • Blogging http://kristoff.it
Journal of Functional Programming @journal-of-fp.bsky.social Design, implementation & application of functional programming languages from mathematical theory to industrial practice. Posts by @liamoc.net
Cliff Click @cliffclick.bsky.social Compiler researcher, mountain hiker, public speaking, long road trips, teaching, 20 patents, founder, father of 4.
Brian Goetz @briangoetz.bsky.social Java Language Architect at Oracle. Author, Java Concurrency in Practice (http://amzn.to/2nzZnkl). Also, cats.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
InfoQ @infoq.com Helping dev teams adopt new technologies and practices through news, podcasts, QCon conferences, and InfoQ online certification.
William Dalrymple @willdalrymple.bsky.social Scottish historian & art historian; @EmpirePodUK.bsky.social podcaster & Jaipur Lit Fest co-director. Visiting Fellow at All Souls, Oxford. Writes the occasional book.
The Scala Programming Language @scala-lang.org A programming language that scales with you: from small scripts to large multiplatform applications.
https://www.scala-lang.org
Kotlin by JetBrains @kotlinlang.org Kotlin is a programming language that makes coding concise, cross-platform, and fun — https://kotlinlang.org/
Video tutorials http://kotl.in/video
News http://kotl.in/news
Community discussions http://kotl.in/slack
@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 🐫
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
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
OCaml @ocaml.org https://ocaml.org
Heidi Howard @heidihoward.bsky.social 
Andrey Satarin @asatarin.bsky.social Staff SRE at Google. Distributed systems / databases / reliability / correctness. Views my own. Repost / like is not an endorsement.
http://asatarin.github.io
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
Recurse Center @recurse.com The retreat for curious programmers.
Work at the edge of your abilities, develop your volitional muscles, and learn generously.
📝 Applications are open!
🔗 https://www.recurse.com/
📍NYC | Online
Qian Li @qianli.dev Co-founder @dbos.dev • Stanford CS PhD
Co-organizer @southbaysystems.xyz
Working on 🐘 Database + Systems + AI
Amateur bird watcher 🦉
Personal site: qianli.dev
She/her.
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
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Joy Gao @joygao.bsky.social software engineer at ClickHouse; prev: Figma, WePay
long-form ✍️: https://expertofobsolescence.substack.com
PVLDB @pvldb.bsky.social The Proceedings of the VLDB Endowment (PVLDB)
https://vldb.org/pvldb/
RSS Feed: https://db.cs.cmu.edu/files/rss/pvldb-rss.xml
Automated by @andypavlo.bsky.social
CMU Database Group @db.cs.cmu.edu Carnegie Mellon Database Research Group
https://db.cs.cmu.edu/
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
@ericevans0.bsky.social @ericevans0.bsky.social 
Racket @racket-lang.org Racket is...
* a general purpose language
* compiler, runtime and tools,
* a diverse community
https://racket-lang.org/
Rhombus is a general-purpose programming language that is easy to use and uniquely customizable.
https://rhombus-lang.org
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
Charity Majors @charity.wtf cofounder/CTO @honeycombio, co-author of Observability Engineering and Database Reliability Engineering. I test in production and so do you. 🐝🏳️🌈🦄
Aleksey Shipilëv @shipilev.bsky.social In love-hate relationship with machines. Currently: OpenJDK, AWS. "Trust me, it's really me" backlink: https://shipilev.net/#social
Alexandru Nedelcu @alexn.org Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
🌍 Bucharest, Romania
https://alexn.org/about/
Michael Pilquist @mpilquist.bsky.social Functional programmer, runner, cyclist. Author of Functional Programming in Scala 2nd Edition. Engineering Fellow
@comcast
working in video. He/him.
Channing Walton @channingwalton.bsky.social Scala software developer, unison-lang wannabe dev, amateur pianist, dad, husband, and keeper of six small furry beasts.
Debasish (দেবাশিস্) Ghosh 🇮🇳 @debasishg.bsky.social Programmer. Author: Functional and Reactive Domain Modeling (Manning 2016), DSLs In Action (Manning 2010). Father. Husband. Seinfeld fanboy. FP aficionado.
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.
Markus Winand @winand.at SQL Renaissance Ambassador. Author, Trainer, Coach. PhD in Common Sense. Creator of http://use-the-index-luke.com and http://modern-sql.com.
Cynthia Dunlop @cynthiadunlop.bsky.social ScyllaDB | P99 CONF | "Writing for Developers: Blogs That Get Read" book (https://github.com/scynthiadunlop/WritingForDevelopersBook)
Leo 🏴☠️ @leostera.com typed actor maxxing since 2018 · http://github.com/leostera
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
James Ward @jamesward.com Just another nerd with a podcast: happypathprogramming.com
And a book:
effectorientedprogramming.com
Anton Arhipov @antonarhipov.bsky.social Developer Advocate @ JetBrains
https://antonarhipov.com
#java #kotlin #programming
Chris Albon @chrisalbon.com 
Scott Wlaschin @scottwlaschin.bsky.social 
Tim McNamara @timclicks.dev Trainer and consultant on the Rust programming language. Author of Rust in Action. Team climate. Walkable neighbourhoods are nice, actually.
Signal: @timclicks.01
Grant Sanderson @3blue1brown.com Math videos
Our Networks @ournetworks.ca The past, present and future of p2p, local and decentralized infrastructures 🌻 🎛 🛠 📡
IRL: July 27, 2024 in Vancouver, BC
online, distributed: https://ournetworks.ca
Pradeep Gowda @btbytes.com Here for tech, programming and other nerdy stuff.
DuckDB @duckdb.org DuckDB is an analytical in-process SQL database management system. "DuckDB" and the DuckDB logo are registered trademarks of the DuckDB Foundation.
Jay Kreps @jaykreps.bsky.social 
Dominik Tornow @dominiktornow.bsky.social Founder Resonate HQ | Distributed Async Await | Thinking in Distributed Systems | https://dtornow.substack.com
Jack Vanlightly @vanlightly.bsky.social Researcher, advisor, writer, formal verification eng @ Confluent.
Everything data (dist sys, databases, messaging, data eng/analytics).
https://jack-vanlightly.com, https://www.hotds.dev
Credit: ESO/B. Tafresh
Hannes Mühleisen @hannes.muehleisen.org I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs.