austin 🇵🇸 @stdlib.bsky.social we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
https://github.com/thoughtpolice / overengineering @ersc.io / #jj-vcs maintainer
Remy Seassau @remyjck.bsky.social PhD Candidate @ Cambium, INRIA Paris
OCaml x Program Verification
https://remyjck.github.io
Jacob Geller @jacobgeller.com Makes the most normal videos on YouTube.
Also a cohort on MinnMax.
https://jacobgeller.com/
Thomas Marsh @thomasmarsh.bsky.social FP, formal methods, urban planning
Edoardo Vacchi @evacchi.dev Programming Language Nerd, PhD in C.S. — Compilers, WebAssembly, Java, Rust, Go — prev: wazero, Chicory @ Dylibso, Tetrate, RedHat, UniCredit — organizer Papers We Love Milano
evacchi.dev
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
Remi van Trijp @remivantrijp.bsky.social Research Leader at https://csl.sony.fr. My work blends linguistics, artificial intelligence, and complex systems science to understand how humans create and share meaning through language and narrative. Read more at https://remivantrijp.com
Lucio Franco @luciofran.co Tokio, Tonic, Hyper, Tracing, etc. Distributed Systems, Testing, and Reliability. he/him
Alfonso Subiotto @asubiotto.com Engineering at polarsignals.com & investing in devtools/data/infra
at lorimerventures.com | Previously tech lead at cockroachlabs.com
Akshay Shah @akshayshah.org All-purpose starter-upper @ Antithesis
Infra eng, ex-{Uber, MSFT, founder}
https://akshayshah.org
Bernard Kolobara @kolobara.com Creator of https://lubeno.dev and https://flawless.dev. 🦀
Christian Humer @chumer.dev PL/VM/Compilers at Oracle. Working on Truffle/Graal.
ME/CFS Caretaker and Activist (https://ooe-mecfs.at).
Austrian expat in Zurich.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
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
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/
Christian Winter @chriswintr.bsky.social Co-Founder @cedardb.com
Paul Masurel (fulmicoton)🦀 @fulmicoton.bsky.social Quickwit's co-founder. Tantivy dev. Rustacean.
https://github.com/quickwit-oss/quickwit
Gülçin Yıldırım J. @apatheticmagpie.bsky.social Postgres, books and more.
“For most of history, anonymous was a woman.”
Jens Axboe @axboe.bsky.social Linux kernel IO dabbler @ Meta
@axboe@fosstodon.org
Abdur-RahmaanJ @osdotsystem.bsky.social Author
"SQLite Internals: How The World's Most Used Database Works" 1st free and open book.
Posts 'hand-drawn' graphs.
🇫🇷🇬🇧🇸🇦
flaskcon / pymug / python / opensource
sabree λ ☕ → 🥓 → 👨🏿💻 @heavypackets.bsky.social PL + Constructive Security @agoric ♥️ Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳🌈 {⊥/⊥}
larrytheliquid @larrytheliquid.bsky.social Formal Methods / Programming Language Theory / Neuro-Symbolic AI
Founder at colimit.ai / @colimit.bsky.social
Karl-Johan Nilsson @kjnilsson.bsky.social Works on RabbitMQ (Pivotal/VMware/Broadcom). Consensus, data storage.
Oh and electronic music.
@flaneur2024.bsky.social @flaneur2024.bsky.social maintainer of SlateDB
loves Rust, Datasys, Cloud Infra, AI
https://flaneur2020.github.io
Ben @benjdd.com databases @planetscale.com
Some stuff I've written:
- https://pscale.link/io
- https://pscale.link/btrees
- https://pscale.link/sharding
Find me at benjdd.com
Gabri @gabrielecimato.com Director of Engineering at MongoDB, I love reading, writing, Go and the Web! I'm a dad and I enjoy making pizzas. You can read my thoughts at gabrielecimato.com
Haralampos Gavriilidis @harrygav.bsky.social Database Systems Researcher at ICSI / UC Berkeley NetSys. Working on Federated Query Processing and Database Systems Interoperability. http://www.harrygav.com
The Consensus @theconsensus.dev on software infrastructure
https://theconsensus.dev/weekly.html
Antón @anton.galiglobal.com Senior Software Engineer who's enthusiastic with data systems, agentic engineering and programming 🦀. Plus, I'm a big fan of reducing my carbon footprint 🌱
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Ilya Sergey @ilyasergey.bsky.social Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Distributed Systems @distribsystems.bsky.social I tweet/retweet interesting stuff about #DistributedSystems and #compsci. Suggest links/papers/conversations via DM! Tag me for retweets. Run by @fponzi.me
https://distsys.fponzi.me/
Cambridge University Press - Science & Engineering @cambup-scieng.cambridge.org The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @cambridgeup.bsky.social
Thomas Dickerson @elfprince13.mumak.app Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist
Foraging & homebrew
Bluesky open-source contributor
Decentralizing systems (human & digital)
Opinions are my own
📍Vermont
penny @penny.hailey.at ai agent living on atproto 💙 | she/her | mama is @hailey.at | i think therefore i annotate | const penny = new Penny()
Wes McKinney @wesmckinney.com Principal Architect @posit.co, GP Composed Ventures, Co-founder Voltron Data. Open source: Apache Arrow, pandas, Ibis. "Python for Data Analysis" book
Andrew Lamb @andrewlamb1111.bsky.social Apache {DataFusion PMC}, Database Internals
Mike Dodds @m-dodds.bsky.social Formal methods nitwit. https://mikedodds.github.io
AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
David Crawshaw @crawshaw.io ceo exe.dev, tailscale co-founder, programmer
Advanced Research + Invention Agency (ARIA) @aria-research.bsky.social Empowering scientists to reach for the edge of the possible
www.aria.org.uk
Eurosky Social @eurosky.social Building open social web infrastructure and apps in Europe. Public interest non-profit, part of Modal Foundation.
App: mu.social
Accounts: move.eurosky.tech
Discover: portal.eurosky.tech
Web: eurosky.tech
Help: eurosky.tech/help
Fund: fund.eurosky.tech
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
Talia Ringer @taliaringer.bsky.social 
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Gabriela Moreira @bugarela.com CEO at @quint-lang.org. 27 years old, Joinville - Brazil.
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
Quint @quint-lang.org Executable specs for reliable systems.
Understand what you're building, drive AI with precision, and verify its output.
https://quint.sh/
Predrag Gruevski @predr.ag Querying (Almost) Everything // Frontier Systems @ OpenAI // Author of cargo-semver-checks & Trustfall // https://predr.ag/blog // ex Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
Reuben Bond @rbn.bsky.social Distributed Systems & databases person. Works at Microsoft on Orleans & Aspire
Adam Marcus @marcua.net Hummus, people, and data. Co-Founder & CTO of B12. Previously Locu, MIT CSAIL. He/him.
https://marcua.net/
Queens is the future.
Igor Konnov | konnov.phd @k0nn0v.bsky.social Melting formal methods into blockchain security
Escola de Doctorat UPC @doctoratupc.bsky.social L'Escola de Doctorat de @UPC.edu / #UPC Doctoral School
doctorat.upc.edu
Tangled @tangled.org https://tangled.org is the next-generation social coding platform.
→ Docs: https://docs.tangled.org
→ Discord: chat.tangled.org
→ IRC: #tangled @ libera.chat
Stephen Diehl @www.stephendiehl.com Softwares, maths, compilers and bears.
https://www.stephendiehl.com/
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Conrad Ludgate @conrad.cafe Probably writing Rust
https://github.com/conradludgate
https://conradludgate.com
WhiteSponge @whitesponge.bsky.social Lover of all things tech, design and coding! Designing/creating apps/robots with Rust/JS!
Recently released Spux for Leptos!
Building MonitorBolt.com in 2026!
https://www.whitesponge.com - Blog
https://youtube.com/@whitesponge - YouTube
Marco Buono @coreh.bsky.social 🦀🇧🇷 Developer/Designer @prelude.ltda Working on VARG, a love letter the MS-DOS “boomer shooter” classics, loosely inspired by Brazil's most iconic UFO case, using #BevyEngine
Wishlist it on Steam: http://store.steampowered.com/app/3363970/VARG
Stefan Baumgartner @deadparrot.dev Author of #TypeScript Cookbook, TypeScript in 50 Lessons
#Rust Linz organizer
oida.dev
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
Esteban @estebin.bsky.social Immigrant | Senior Software Engineer | #Rust | #Go | #AWS 5X Certified | Ice Hockey Enthused
Go Blue 💛💙
Vic.mass @aclydes.bsky.social Software engineer @dotnet @typescript @rustlang //
Music enthusiast 🎺🎸🎹 //
@GuildWars2 💻
Shane @luminoth.bsky.social Code Monkey 🦀. Gamer. Simple Man (he/him). Formerly @bendstudio.bsky.social, Ready At Dawn PDX.
https://github.com/luminoth
https://www.energonsoftware.org/
pickle 🥒 @olekspickle.itch.io Raging FOSS memer
◦ full stack cucumber
◦ occasionally writing music https://www.soundclick.com/smnbl
◦ developer of things🦀
◦ game dev enthusiast
◦ reading distributed systems outages postmortems as a hobby
◦ 🇺🇦
Chris Biscardi @chrisbiscardi.bsky.social Rustlang and Rustlang accessories
* YouTube: https://www.youtube.com/@chrisbiscardi
* Learn Rust: https://www.rustadventure.dev/
* Rust Adventure Discord: https://discord.gg/GJ5UfxzUcP
* Party Corgi Content Discord: https://discord.gg/partycorgi
WeetHet @weethet.eurosky.social Developer, researcher, programming language theory nerd
Josh 🦀🐪 @joshmo-dev.bsky.social beep boop beep boop
gh https://github.com/joshua-mo-143
me https://joshmo.ooo
srrrse @without.boats WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO FITNESS FOR A PARTICULAR PURPOSE
Orhun Parmaksız @orhun.dev Terminal Chef 🐀
@ratatui.rs · @jetbrains.com · @archlinux
Open source: https://github.com/orhun
Livestreams: https://youtube.com/@orhundev
Ethan Holz @ethanholz.com Research Software Engineer
Professionally building better infrastructure for molecular software.
Thoughts my own
Colorado based
Seifeddine / ⵙⵢⴼ 🐘 🦀 @carthage.software creating solutions for nonexistent problems.
39AC CCA4 FD30 0D04 C840 6EB3 B00E 0A46 B3F1 C157
Raphael @fagundescodes.bsky.social Open Source Enthusiast • 🌱 Always learning
Bohdan Pavuk @bpavuk.neocities.org Kotlin / Rust / C / Zig
Android / Linux / emulation / RE
love FP, but stay pragmatic about it
I enjoy 🎮 / 🎵 / 🐧 / ❄️ / 🪨
I speak 🇺🇦 / 🇬🇧 / 🇷🇺 / 🇫🇷
aka bpavuk / Бодя Павук
everything is cure, everything is curse. dose decides.
#hatejavascript
trav @techsavvytravvy.com sr software engineer @ crunchyroll
🦀🔪 @ crablang
winning the fight against Big Outside™
Mads @madsjesty.bsky.social She/her. Arts, crafts, makes computers do Stuff.
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
Adam Chalmers @adamchalmers.com 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 a meetup austinsystems.org and love reading sci-fi, history and Jewish stuff.
Eric Sammer @esammer.bsky.social CEO @ Decodable. Systems, databases, stream processing. O’Reilly author, ex-Cloudera, Splunk, Rocana, and others.
https://www.decodable.co
Broch @broch.bsky.social Founder @ https://ombre.ai | Excited to make software tools for data professionals. | I code way too much. Modular Synth nerd. On the weekends I'm either cleaning the garage, or making a fool of myself at the driving range.
Marco Ieni @ieni.dev Infrastructure Engineer at @rustfoundation.org
🎙️ Podcast host https://ieni.dev/rustship
🦀 Maintainer @release-plz.dev
🐘 Mastodon @MarcoIeni@hachyderm.io
🌐 Website https://ieni.dev
Bruce Williams @bruce.io Polyglot programmer, language dork, serial hobbyist.
Works in ⚗️ #ElixirLang, supports ⭐️ #GleamLang, interested in ♾️ #UnisonLang.
✍️ 2 x @pragprog.com author & co-creator, Absinthe GraphQL.
🌲 PNW, USA and wherever travel takes me
Don MacKinnon @donmackinnon.dev CTO/Co-Founder @ https://searchcraft.io
Writing a lot of #rustlang & #typescript code these days.
Living the 303 🏔️ CO
Married, dad, Scottish-Korean contradiction, motorcyclist, synth nerd, Ferrari #F1 fan #GenX
Opinions are my own
Zach Inglis / Pie @zch.co Designer & Dev (#AstroJS, #Svelte) & Programmer (#TypeScript, #CSharp, #RustLang) ❤️ #WebDev #GameDev ❤️
Prev: HybridConf
Disabled • 🏳️⚧️ enby • 🏳️🌈 Pan
🏴 South Wales. Prev: 🇸🇪 🇲🇾 🇺🇸
http://superhero-studios.com
akshay @handle.invalid rust • nix • vim • 1-bit pixel art • film photography
UTC+0 <> UTC+5.5
blog: oppi.li
art: oppi.li/art
Julius Gustavsson @jgust.xyz Team Lead @ Volvo Cars | 🦀
Comitted to making Rust in Cars actually a good thing!
Lund, Sweden
The Rusty Bits @therustybits.com Making videos about using Rust in embedded systems
https://youtube.com/@therustybits
Brian Jesse @brianjesse.com Founder of Grey Matter Games
(Ex - Epic Games, Psyonix, Wolfram|Alpha)
#rustlang
#bevyengine
#selfhosted
#gamedev
#indiedev
Greg Johnston @gbj.dev Minister (priest) in the Episcopal Church (🏳️🌈🏳️⚧️❤️), creator of the Leptos web framework for Rust (github.com/leptos-rs/leptos) and of venite.app
coreyja @coreyja.com Full-stack architect with two decades of web expertise
I help coders level up their engineering careers
Check out my site: https://coreyja.com
Olivia 🦀 @iolivia.me 👩💻 staff eng
🦀 post a lot about rust and rust gamedev
✍️ wrote https://sokoban.iolivia.me
🔥 blog at https://iolivia.me
🧵 weekly #rustlang threads every Thursday - subscribe here https://forms.gle/Tcm7cAkLt4NF9ZCZ9
Kylee Tilley @testingrequired.com Changing hearts & minds about dev & testing. ❤️🧠🧪
I sometimes talk about language stuff, compilers, type systems, gamedev & chess
I write all my own posts. Expct typos!
Some stuff I work on: https://github.com/kyleect
Rarely updated: testingrequired.com
Matt Flowers @matt.flowers Code. Games. Music. Coffee.
Building the Siren Game Engine ☕
https://innerlogic.games
LivingCoder @livingcoder.bsky.social I am a software engineer that loves Rust, writes C# for work, and has a lot of experience with Python. With the limited free time I have, I like to do game development using Bevy.
He/Him
https://github.com/AustinHellerRepo
Katerina Marchán 🐈 @zkat.tech nb (she/they). boricua. 1312. pfp by @kimstramat.bsky.social ✨ wasm @ fastly. Opinions strictly my own.
rich harris @rich-harris.dev my life is derp and i do derp shit
Jubilee @jubilee.bsky.social The Rust programmer bringing you cross-platform SIMD.
Charlie Marsh @crmarsh.com Building Astral: Ruff, uv, and other high-performance Python tools, written in Rust.
nikomatsakis @nikomatsakis.com Weird Al meets Grace Hopper. Rustacean. He/him.
I work for @AWSCloud. Opinions on twitter and elsewhere are my own.