mr. TIM @timkellogg.me AI Architect | North Carolina | AI/ML, IoT, science
WARNING: I talk about kids sometimes
antirez @antirez.bsky.social Reproducible bugs are candies 🍭🍬
I like programming too much for not liking automatic programming.
dax @thdxr.com building opencode.ai
conputer dipshit @davidcrespo.bsky.social web dev + hot dad. enjoy charts, unions, conputer games, philosophy. chicago crespo.business
Chris Peikert @chrispeikert.bsky.social Cryptographer (lattices/post-quantum), Burks Collegiate Professor at U-Michigan Computer Science and Engineering, Chief Scientific Officer at Algorand, PhD from MIT CSAIL. Previously faculty at Georgia Tech School of CS. Here I speak for myself.
Zach Weinersmith @zachweinersmith.bsky.social New Book out this summer: Sawyer Lee and the Quest to Just Stay Home.
Other things of mine: Bea Wolf, A City on Mars, and SMBC
Website: www.smbc-comics.com
Patreon: https://www.patreon.com/ZachWeinersmith?ty=h
Alex Miller @alexmillerdb.bsky.social Database Papers as a Service
@ me with your DB paper questions or “what do I read for ___” topic requests
philpax @philpax.me creative engineer · Rust, gamedev/modding, reverse engineering, writing, AI, XR, etc
a better world is possible · 🇦🇺🇸🇪🏳️🌈
Lev Kokotov @levthedev.bsky.social Sharding Postgres with PgDog!
Andy Masley @andymasley.bsky.social When the going gets weird the weird turn pro.
Researching and writing about AI and other topics from a broadly effective altruist perspective. On a grant from Coefficient Giving.
andymasley.com
David Brungardt 🦀 @brungardtdb.bsky.social I'm a software engineer, Rust nerd, and music lover who is passionate about touching grass. All opinions are my own.
Paul Hinze @phinze.com into the systems underneath the systems. currently on the zeros and ones at @miren.dev.
🌭 chicago · ✋🏻 lefty · 🌹 lefty
https://inze.ph- D Dan Luu @danluu.com danluu.com / www.patreon.com/danluu/
Carl Lerche @carllerche.com I do stuff, I say stuff. It's serious business.
Mara Bos @mara.bsky.social Rust dev, Electronics engineer, Author, RustNL, RustWeek organizer, ADHD, Polyamorous, Lesbian, She/Her
TokioConf @tokioconf.com A conference for #rustlang developers building networked applications with Tokio. 🦀 Join us April 20–22, 2026, for the inaugural TokioConf — practical knowledge, real-world insights, and more! Hosted by the Tokio Project
Brian LeRoux @brianleroux.bsky.social AWS hero blogging at webdev.rip, building sanity.io, arc.codes and enhance.dev ... loves Nanaimo, Vancouver, programming, JavaScript, cloud functions, infra-as-code, synths, drum machines, and outdoors-y stuff. 🇨🇦
Cynthia Dunlop @cynthiadunlop.bsky.social ScyllaDB | P99 CONF | "Writing for Developers: Blogs That Get Read" book (https://github.com/scynthiadunlop/WritingForDevelopersBook)
David Crawshaw @crawshaw.io ceo exe.dev, tailscale co-founder, programmer
Tom Ballinger @ballingt.com Duboce Triangle in SF
ballingt.com
Jason Cohen @asmartbear.com Keyword, buzzword, half-truth, adjective, hey look at me! (founder of two unicorns: http://WPEngine.com, http://SmartBear.com).
Writing for 18 years at: https://longform.asmartbear.com
Andy Pavlo @andypavlo.bsky.social Database Research @ ClickHouse
Associate Prof. of Databases @ Carnegie Mellon.
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, ...
James Munns @jamesmunns.com Notable Protocol Enjoyer.
Doing stuff, mostly in Rust and on Embedded systems.
Co-host @sdr-podcast.com
DMs (matrix): @jamesmunns:beeper.com
DMs (signal): jamesmunns.255
he/him
Kein Ort für Nazis
Lukas Wirth @lukaswirth.dev Rust Engineer at @zed.dev
rust-analyzer team lead
Sponsor my rust-analyzer work here https://github.com/sponsors/Veykril
Terts Diepraam @tertsdiepraam.bsky.social Rustacean, RustWeek organiser & software developer at NLnet Labs. Most posting happens on Mastodon: https://mastodon.online/@terts
he/him
The Pragmatic Engineer. @pragmaticengineer.com Big Tech and startups, from the inside. Highly relevant for software engineers and managers, useful for those working in tech. The #1 technology newsletter on Substack. https://newsletter.pragmaticengineer.com/about
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Manish @manishearth.bsky.social unmappable territory
please leave a message after the beep
david barsky @davidbarsky.com i like cooking and reading books. my day job is to work on ersc.io, but before, it was rust-analyzer. he/they is fine.
Michael (compiler-errors) Goulet @errs.io https://errs.io
Daily Rothko @dailyrothko.bsky.social https://linktr.ee/dailyrothko?utm_source=linktree_profile_share<sid=a6cc688f-88d8-4dbb-a7df-75f3b74d02be
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Andrew Lilley Brinker @alilleybrinker.com memory safety / Rust, #jj-vcs, urbanism, and more.
🧔🏼♂️ general words: alilleybrinker.com
🦀 rust words: possiblerust.com
he/him
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
@brigidjohnson.bsky.social @brigidjohnson.bsky.social 
Yaron Minsky @yminsky.bsky.social Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
kat cosgrove @kat.lol village sorcerer @villagesql.com
local bigfoot enthusiast
kubernetes steering committee, release team subproject lead, sig docs tech lead, uwubernetes, colorado springs via memphis
she/they
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
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
Simas @paulikas.bsky.social I just want to build distributed data systems, read books, and drink tea.
Sean McArthur @seanmonstar.com Open Source maintainer of the rust-lang @hyper.rs.
More at seanmonstar.com
LaurieWired @lauriewired.bsky.social researcher @google; serial complexity unpacker
ex @ msft & aerospace
Fastly @fastly.com Get more powerful websites and applications with Fastly’s edge cloud platform. We help places like Reddit, Epic Games, the NYT, and GitHub do so every day.
Carlos Baquero @xmal.bsky.social Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023)
Web: https://cbaquero.github.io/web/
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
brian david gilbert @briamgilbert.bsky.social hello
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.
Ryan Castellucci 🜬 @rya.nc Hacker. Enby. Administrative inconvenience. Purveyor of technically sophisticated shitposts.
Suing the UK for more gender, help with my legal bills: https://enby.org.uk/
Mastodon: https://infosec.exchange/@ryanc
Non-binary trans androgynous (they/them)
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.
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/ .
Kevin Roose @kevinroose.com NYT tech columnist, Hard Fork co-host, best at 0.8x speed
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
Honeycomb @honeycomb.bsky.social Observability for a distributed world. Designed for engineers to debug platforms, microservices, serverless apps, and enable collaborative problem-solving. 
Oxide Computer Company @oxide.computer The cloud you own. https://oxide.computer/bio
Rebecca Solnit @rebeccasolnit.bsky.social Writer of books. Guardian columnist. Newsletter at MeditationsInAnEmergency.com. Board member, Third Act and Oil Change International.
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.
Jacopo Notarstefano @jacquerie.bsky.social Senior Software Development Engineer at Amazon, previously Junior Fellow at CERN
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 
Mark Cuban @mcuban.bsky.social Entrepreneur
Costplusdrugs.com
DEI Speedwagon @myrrlyn.net IM NOT A “QUEER ALLY” IM A “MEDIC IN THE TRANS FOREIGN LEGION”. ALSO I WRITE A SEMI FAMOUS RUST LIBRARY. HE, THEY, OR HEY. MY NAME IS ALEX AND I LIVE IN MADISON WOKESCONSIN
eliza🌻 @elizas.website e-girl (engineering girl) • interested in the kind of software nobody writes anymore • making computers at @oxide.computer • love too cheap to meter • nulla crux, nulla corona
TheBlindboyPodcast @blindboyboatclub.bsky.social Author and podcaster #ActuallyAutistic
Dr Space Junk (Alice Gorman) @drspacejunk.bsky.social Space archaeologist | Global Expert Group for Sustainable Lunar Activity | Asteroid 551014 Gorman | Dr Space Junk vs the Universe. https://mitpress.mit.edu/9780262539654/dr-space-junk-vs-the-universe/ | Blog https://zoharesque.blogspot.com/
Colm MacCarthaigh @colmmacc.bsky.social VP / Distinguished Engineer at Amazon Web Services. Also: Open Source and Apache, Cryptography, Irish Music, mediocre Photography.
Andrew Gallant @burntsushi.net I love to code.
https://burntsushi.net
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/
Aria Desires @gankra.bsky.social it's me, the gay cat who writes your docs~!
author of the rustonomicon and learn rust with entirely too many linked lists; worked on homestuck, rust-lang, swift-lang, firefox
she/her, trans, 30
David Tolnay @dtolnay.bsky.social 
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
Artem Krylysov @artem.krylysov.com Databases and distributed systems. Working at Datadog on Metrics.
https://artem.krylysov.com/
shikhar @schmizz.net Making streams serverless @s2.dev
Lalith Suresh @lalithsuresh.bsky.social CEO @ feldera.com, the incremental compute engine for AI, ML and data teams.
Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd.
lalith.in/research
Thorsten Ball @thorstenball.com Author of interpreterbook.com and compilerbook.com. Working at Sourcegraph. Previously Zed. Programming where the rubber hits the road. Writing Register Spill at: registerspill.thorstenball.com
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.
AWS What's New Skeetbot @aws-skeetbot.lastweekinaws.com AWS doesn't care enough to post here, so @quinnypig.com has to do it instead.
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/
Leni Aniva @aniva.bsky.social 🔧 Researcher in Machine Assisted Theorem Proving at https://centaur.stanford.edu/
☯️ Director of NorCal Hakkero Factory No. 1 (Physics-based #touhou #cosplay)
🔗 https://leni.sh, https://pixelfed.social/chrysoberyl
❄️ Training AI on my content is prohibited
This Week in Rust @thisweekinrust.bsky.social Cataloguing the Rust community's awesomeness. #rustlang
EL PAÍS @elpais.com La mejor información en español. Con nuestra mirada puesta en España, Europa y América. Suscríbete: https://tinyurl.com/yfbk27jh
Aquí puedes consultar nuestra política de privacidad: https://tinyurl.com/32dnhzc9
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🔮 "most level-headed AI user" 🫐 working on something dataflow-shaped 🦀 known for teaching rust and not much else
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
Phil Eaton @eatonphil.bsky.social on software infrastructure @theconsensus.dev.
theconsensus.dev
Shyam Krishnamoorthy @kashaayam.bsky.social Dir @ AWS Aurora DSQL, dad joke connoisseur, cryptic crossword enthusiast
sabine 🐫🦀 / "use ocaml"; @sabine.sh OCaml developer advocate, 🐫 OCaml.org maintainer, RFC 3339 dating coach, web developer ✨
twitch.tv/sabine_sh
github.com/sabine
Gwen Shapira @gwenshap.bsky.social Founder of SaaS Developer Community and Nile Database. 
Daniel Gordon @validhorizon.bsky.social Thought Trailer, Cyber Threat Intel, DFIR. He/Him. Bucketing, sharing, and bacon-saving as a service. https://validhorizon.medium.com/
Grady Booch @booch.com scientist, storyteller, philosopher
computingthehumanexperience.com
Luca Palmieri @lpalmieri.com Author of zero2prod.com, a book on backend development in Rust, and https://rust-exercises.com.
Building pavex.dev, a new Rust web framework.
Principal Engineer at Mainmatter. Opinions are my own. He/him.
@algo_luca on Twitter.
wint @dril.bsky.social Never Bullshit
I challenge any and every one who wants to kick my ass to a debate .
https://www.patreon.com/dril
https://www.instagram.com/dril
https://linktr.ee/drilreal
Atreya Srivathsan @atreya2.bsky.social Software Engineer, Obssessed with reading mundane things, Loves cooking, Baking, and just living a life of learning and perpetual growth.
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/
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/
A. Jesse Jiryu Davis @emptysqua.re Senior Staff Research Engineer in the MongoDB Distributed Systems Research Group. Photographer, Gunks climber, Zen Buddhist. Blog: https://emptysqua.re
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Richard Bishop @richardb.bsky.social Distributed systems, databases, and the foundational primitives for better (more robust, efficient, accessible) computing.
Currently at Snowflake building managed Postgres. Formerly Crunchy Data and AWS.
Niko Virtala @nikovirtala.io Building better shopping experiences for retail | Principal Engineer at SOK | Randonneur 🚲