Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Sophie @localghost.dev 🐕 Dog botherer
🚀 Staff Eng
🚧 Web1 enthusiast and fan of pointless websites
👻 localghost.dev
#TransRightsAreHumanRights
Banner pic: florian.photo
Jack @jackvalinsky.com MS Computational Linguistics student
Film photography 🎞️ 📸
Interested in languages: ga, de, ja, zh, haw
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Sona @stau.space ¡Buenas! 🇵🇷 * 🏳️⚧️
Pronouns: she/her/ella
Website: https://stau.space/
Me in other places: https://linkat.blue/stau.space/
Oil-cooler inlet pipe for 2009 Nissan Altima
Phonetics & Phonology Group @ Newcastle University @phonncl.bsky.social Phonetics & Phonology Research Group at Newcastle University. Researchers uniting around language and sound. For enquiries, please contact us at phoneticsphonology.ncl@gmail.com. Our website: https://blogs.ncl.ac.uk/phonphon/
Topos Institute @toposinstitute.bsky.social US/UK-based non-profit research institute. We shape technology for public benefit by advancing sciences of connection and integration. Our goal is a world where the systems that surround us benefit us all.
https://topos.institute
Ben Collins @bencollins.bsky.social Facebook Beef
Ursula von der Leyen @vonderleyen.ec.europa.eu President of the @ec.europa.eu
Mother of seven. Brussels-born. European by heart. 🇪🇺
European Commission @ec.europa.eu News and information from the European Commission. Social media and data protection policy: http://europa.eu/!MnfFmT
Ian Coldwater 🧊🚫 @lookitup.baby Kubernetes SIG Security Co-Chair. I hack things and build community.
Minneapolis. They/them. Stay punk 🏴
MSP feed info: https://bsky.app/profile/amityf.bsky.social/post/3mrv36uo4pc2a
Tagesschau Bot @tagesschau.bsky.social Schlagzeilen von http://tagesschau.de - 🐘 https://ard.social/@tagesschau
Inoffizieller Account
Tobias Watzl @tobiaswatzl.bsky.social Softwareentwickler in Linz 🇦🇹
Verbringt viel zu viel Zeit in Zügen. Reisen, Mobilität, Radfahren, Technik und Museumsbahnen.
Fotografie und manchmal DJ.
Meine Posts beziehen sich grundsätzlich auf Österreich, sofern nicht anders angegeben.
dread pirate roberts @dreadpiraterobbers.bsky.social Canadian Socialist in Alberta
I <3 paying taxes so you can watch Heated Rivalry & see a doctor.
#LandBack #EveryChildMatters #freepalestine #firetheUCP #StandUpForScience
Meredith Whittaker @meredithmeredith.bsky.social President of Signal, Chief Advisor to AI Now Institute 
ZDF heute-show @heuteshow.de Nachrichtensatire mit Oliver Welke: freitags im ZDF, täglich im Netz. | Impressum & Netiquette: http://ly.zdf.de/social
Chris Demarais @chrisdemarais.bsky.social Writer, Director, & Podcaster from Tales from the Stinky Dragon D&D podcast, Good Morning from Hell comedy podcast, Black Box Down true crime/aviation podcast, a bunch of stuff from Rooster Teeth, & this bio
Gavin Free @gavinfree.bsky.social Slow Mo Guy
Regulation Podcast
Michael Jones @100percentmikey.bsky.social Food
Patreon.com/100PercentEat
Game
Patreon.com/MikeyFredo
Jeremy Dooley @jeremydooley.bsky.social LinkTree - http://linktr.ee/dooleynoted Streams at http://twitch.tv/dooleynoted He/Him. Business Inquiries - DooleyNotedGaming@gmail.com
Why @why.bsky.world Wandering Wizard Utopian
General Partner @mana.inc
🌳
wojtek 🧢 @wojtekmandrysz.com Interested in ATProto
working on @kine.vision
🇵🇱 Warsaw, Poland
Martin Wimpress @wimpys.world Long-time #Linux user, developer, and community builder 🐧 Flake wrangler ️❄️ Maker 🪛 Aspiring game developer ️🕹️ Linux Matters podcast presenter ️🎙️
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
Alexis "Horgix" Chotard @horgix.fr Staff SRE at @payfiteng.bsky.social & Maître Raclettier — Mostly posting about conferences & tech — 🔧 Automation, ❤️ Open-Source, ⚙️ Rust, 📣🎙️ Conferences {organizer, speaker, frequent attendee}
— Mandatory « I use Arch btw »
Brittany Raye @coffinchloe.bsky.social 
Matt Boyle @mattboyle.bsky.social Head of Product Engineering @ ona.com
Maynard @quelklef.bsky.social Maynard
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
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
absolute horses @jcoglan.com this is him here
I write books about programming --> https://shop.jcoglan.com/
philpax @philpax.me creative engineer · Rust, gamedev/modding, reverse engineering, writing, AI, XR, etc
a better world is possible · 🇦🇺🇸🇪🏳️🌈
AapoAlas @aapoalas.trynova.dev Nova JavaScript engine developer and OSS contributor by day and night. Avid choir singer. He/him.
Give me data-oriented design or else (I will cry).
https://trynova.dev/
@orphaninstance.bsky.social @orphaninstance.bsky.social 
bryan newbold @bnewbold.net oscilloscopes, cycling, snow, big cities, wiki. I like speculating about found objects.
protocol and standards @bsky.app. formerly archive.org
elsewhere: bnewbold.net / @bnewbold@social.coop
Gábor Nyéki @gabornyeki.com Data and code enthusiast.
https://www.gabornyeki.com
Kris Nuttycombe @nutty.land Haskell, climbing, blacksmithing; occasional SCAdian, compiler-induced psychosis. I work on the core Zcash team at https://zodl.com and build software for worker-owned cooperatives at https://aftok.com by night.
Signal: @nuttycom.01
Jake Bailey @jakebailey.dev Principal Software Engineer at Microsoft working on TypeScript
Underground gopher, finally revealed
jakebailey.dev
github.com/jakebailey
arch btw
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Rustmeet @rustmeet.bsky.social Conference for Rust developers
12-14th June 2026, Kraków, Poland
https://rustmeet.eu
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
GrapheneOS @grapheneos.org Open source privacy and security focused mobile OS with Android app compatibility.
https://grapheneos.org/
BOB Konferenz @bobkonf.de The next BOB conference takes place in Berlin on 26 February 2027!
Organised by @active-group.de
Also at @bobkonf@discuss.systems.
Formal Land @formalland.bsky.social Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
Freya Holmér @freya.bsky.social 🎮 tech artist/shader sorceress/math dork
🌐 acegikmo.com
🎥 youtube.com/@acegikmo
🏗️ Shader Forge / Shapes / https://half-edge.xyz
📡 ex-founder of Neat Corp
🪡 neoluddite
my kids:
🥪 @toast.acegikmo.com
🥗 @salad.acegikmo.com
🐈⬛ @thor.acegikmo.com
Hayden Evans @haydenbeamit.bsky.social Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
bushr.at @bushr.at Rust enthusiast, Bevy contributor, harbinger of no_std PRs, Tasmanian. (he/him)
arXiv cs.PL Programming Languages @cspl-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.PL/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
All Things Open @allthingsopen.bsky.social A universe of events and platforms focused on open source, open tech and the open web. #AllThingsOpen
Ruth Suehle @suehle.bsky.social President, #Apache Software Foundation ( #ASF )
Makes lots of things & #highland dances
GeekMom.com writer
https://linktr.ee/suehle
John Crickett @johncrickett.bsky.social Author of CodingChallenges.fyi
Helping you become a better software engineer through coding challenges that build real applications.
Not the Regulation Podcast @regulationpod.bsky.social Meg Turney is the best wife on the planet
https://regulationstore.com/
oliver @eikopf.com absolutely will not shut up about programming languages
(he/him)
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Timothy Snyder @timothysnyder.bsky.social Temerty Professor of Modern European History, Munk School, University of Toronto; Permanent Fellow, IWM Vienna; Emeritus Levin Professor, Yale. Author of "On Freedom," "On Tyranny," "Our Malady," "Road to Unfreedom," "Black Earth," and "Bloodlands"
Fly.io @fly.io Computers for agents.
Jaz @jaz.sh Jasmine (Jaz)
Gender Nomad
IRC made me gay
Reject drab, wear bright colors and play fast
Former Platform Engineering Lead at Bsky
28. she/her 🏳️⚧️
BSky Stats- https://bsky.jazco.dev/stats
https://github.com/jazware
Kuba Suder 🇵🇱🇺🇦 @mackuba.eu Indie Mac/iOS & web developer • Currently building random fun things on ATProto using Ruby and occasionally JavaScript → https://blue.mackuba.eu
"mostly-happy-but-occasionally-grumpy Ruby guy" - Why
🌍 Kraków, Poland 🇵🇱🇪🇺 • ✝️
crouching armadillo @crouchingarmadillo.bsky.social 
Tim Hockin @thock.in I like writing software, even if I don't get to do it much anymore. Kubernetes. Star Wars nerd, Expanse fan, dad, dork. 
Mary Branscombe @marypcbuk.bsky.social Omnivorous technology journalist. girl with the USB earring; author of the Cassidy At Large technomysteries. Like my writing? Buy me a ☕ https://ko-fi.com/marybranscombe. she/her. Warning: contains opinions. signal marypcbuk.44
Laura Abbott @labbott.name TODO fill in
AstraKernel 💫 @astrakernel.bsky.social Love computers and coding.
While I'm particularly passionate about Rust, it's not the only language I work with.
Recently started loving embedded programming
RustTrending @rusttrending.bsky.social Automated bot posting trending Rust repositories on GitHub.
Made by @pbzweihander.dev, but not curated by.
Source code: https://github.com/pbzweihander/rust-trending
devon @nove.dev {softwarer: [rust, c#, ts, python, ...]; gardener, coastal range hiking, experimental musician, photographer::amateur, location: yvr}
https://github.com/novedevo; https://nove.dev
Merriam-Webster @merriam-webster.com noun | a reference source containing words alphabetically arranged along with information about their forms, pronunciations, functions, and etymologies
Péter Szilágyi @karalabe.bsky.social Founder @dark.bio
Former Go Ethereum Lead (2015-2025)
Brady Haran @bradyharan.bsky.social Videos & Podcasts
More about my work at: https://linktr.ee/bradyharan
empy! 🐧 @pocha.moe [empoleon/pochama • it/its • 18+]
penguin/dragon hybrid of sorts
💙s vr, programming, and rhythm games
Geoffroy Couprie @geoffroycouprie.com Messing with Rust and cryptography
Sylvain Wallez @swallez.com Software engineer, from big servers to tiny microcontrollers. Principal engineer at @elastic.co, member of @apache.org. Blogging (sometimes) at https://bluxte.net
🌐 Toulouse, France, Europe
Ingvar Stepanyan @rreverser.com Cloudflare Worker.
D2D developer - loves building OSS tools and libraries to empower other developers. Might know me from JS, Wasm or Rust stuff.
📝 https://rreverser.com/
📷 https://instagram.com/rreverser
🇺🇦 🤝 🇬🇧
Tim Abell @0x5.uk Nerd. https://0x5.uk/
Rust Nation UK @rustnationuk.bsky.social An annual conference dedicated to the Rust coding language.
Channel37 @wearechannel37.bsky.social A game studio based out of Helsinki. Hard at work on The Last Caretaker - Early Access is out now!
https://store.steampowered.com/app/1783560/The_Last_Caretaker/
https://store.epicgames.com/en-US/p/the-last-caretaker-51dfcc
Rare Hydrogen @rare-hydrogen.bsky.social 🎮 Game Dev | 🌐 Web Dev | 🟥 Leftist | 🏳️🌈 Ally | 🎲 RPGs
🦚 Blog: https://www.studiomystery.com/
Heath Stewart @heaths.dev Principal Software Engineer working on #AzureSDK for #rustlang at #Microsoft. My opinions are my own. Love contributing to OSS in #cpp, #csharp, #javascript, #golang, et. al.
Avid outdoor adventurer 🏔️❄️👞🚴♂️, husband, father.
Kevin Fei Sun 孙愷文 @kebuhcah.bsky.social "Language Engineer" | Slavic/Turkic/Semitic enthusiast by choice, Sin(oxen)ic/Romance/Germanic enjoyer by chance | now dabbling: kiswahili ไทย български dansk
skyking @jkachmar.com sounding rockets & bad computer programming
formerly Groq, WeWork, NASA Wallops, among others
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
Line Bering @bering.bsky.social I dive into new things in Indie development in my spare time. This feed is a reflection of that - https://www.shapeshiftentertainment.com/
#gamedev #unity #UE5 #gameart #Indiegame #dkgame #godot
Alice I Cecile @alice-i-cecile.bsky.social Full-time engine dev for Bevy: an open source Rust game engine.
I design games, make all manner of things, and was once a plant ecologist. Dreaming of a transhumanist, solarpunk future.
I blog at https://shaping.systems/
Björkus "No time_t to Die" Dorkus @thephd.dev 💀 The C Standard Cannot Be Replaced And Will Never Be Destroyed. 💀
✍ Writing: http://thephd.dev
📷 Avatar KIINGKISMET (https://kiingkiismet.com/)
🖼 Banner WusdisWusdat (https://wusdiswusdat.crd.co/)
Brad @8r4d.com Time traveler and intergalactic secret agent for hire. Serious inquiries only. 🇨🇦
blogger 👨💻
runner 🏃
indie game dev 👾
novelist ✍️
watercolor 🎨
violinist 🎻
father guy 👊🏻
ブラードさん
Joe Beda @h.olysh.it Out of retirement to be CTO @ Stacklok. Did k8s, GCE, gtalk and IE. Figuring shit out. Protect Trans kids 🏳️⚧️. Seattle. Signal: jbeda.99 he/him
Ben Pfaff @benpfaff.bsky.social Co-founder and developer at feldera.com. GNU and former Debian developer. RenFaire enthusiast. He/him.
imperio @imperioworld.bsky.social Member of a few teams of the Rust project, Gnome foundation member, co-owner of the Gtk-rs organization and of the askama-rs organization
Mastodon: https://toot.cat/@imperio
Encyclopaedia Britannica @britannica.com Since 1768.
csmoe @csmoe.bsky.social 🦀Rustacean
Pietro Loffredi @pitloffredi.bsky.social Software architect. Multi-platform developer. Committed to become a FP alchemist #Scala #Elixir #Rust. Passionate lifelong learner
N Lucaroni @nicholas-lucaroni.bsky.social FP; OCaml Programmer; Generally lurking, not posting.
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
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
Cody @codyroux.bsky.social Still ultrafinitist, but with a softer side.
https://www.kleene.church/
I do the Church of Logic podcast.
https://open.spotify.com/show/6vEh6ZpQr1Eoeoz8TbsMKx?si=3-hd-mv3ShGe2LFij4MCIQ
Manuel Chakravarty @tacticalgrace.justtesting.org 🔥 Lambda Scientist
💡 Functional programming
💡 Programming languages
💡 Cryptography
👨🏽💻 Swift, Haskell & Agda
💜 Volt 🇪🇺 policy shaper: digital affairs
📍 Utrecht 🇳🇱🇩🇪🇪🇺
ZuriHac @zurihac.bsky.social The official Bluesky account for ZuriHac
zurihac.info
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