Scidonia @scidonia.bsky.social High-Assurance AI Systems for Knowledge-Critical Work
@gavin.codes @gavin.codes 
John Arundel @bitfieldconsulting.bsky.social Go & Rust 🦀 teacher / careers & biz coach. Twenty years unemployed and still haven't starved. https://bitfieldconsulting.com/subscribe
Cuong Le @cuongleqq.bsky.social Head of Engineering at Bitmark | building FeralFile | I craft innovative software and forge high-performance teams.
Eric Niebler @ericniebler.com Distinguished C++ nerd at @nvidia, father, @isocpp member, former nomad, and sometimes artist wannabe.
opinions are my own
he/him
Ken Liu @kyliu99.bsky.social SFF author, speaker, lawyer, programmer; rep by Russ Galen; The Dandelion Dynasty & “The Paper Menagerie"; latest: The Passing of the Dragon and Other Stories
Stéfan van der Walt @mentat.za.net Researcher at UC Berkeley, mainly focused on Scientific Python. South African raising kids in the Californian mountains. Otherwise lives in Emacs & org-mode. Enjoys running, philosophy, history, and building things with others.
Ryan Peterman @ryanlpeterman.bsky.social • Quit my job to build the podcast and ergonomic keyboard I wish existed
• Ex-software engineer @instagram / @meta
• See what I'm building at ryanlpeterman.dev
@josherich.bsky.social @josherich.bsky.social 
Daniel @daniel.abrecht.li I'm a computer scientist from Switzerland
shri @shrikhalpada.dev creative coder, data nerd, preferrer of democracy
also into coffee shops, guitar noodling, hoops, and playing chess poorly
data viz: http://perthirtysix.com
creative coding: http://shrikhalpada.dev/projects
@randyisrandom.bsky.social @randyisrandom.bsky.social Formal Methods/Digital Philology #OCaml #Rocq #Agda#Unix
Investigating the illusion of discreetness
SIGPLAN AV @sigplan-av.bsky.social We are a volunteer-led team within SIGPLAN that provides audio, livestreaming, recording, remote participation and archiving for SIGPLAN conferences.
https://sigplan.org/AV
Every event we cover is available on YouTube:
https://youtube.com/@acmsigplan
TigerBeetle @tigerbeetle.com The financial transactions database designed to power the next 30 years of online transaction processing.
Kris Jenkins @krisajenkins.bsky.social Lifelong Programmer, Host of the Developer Voices podcast.
Michael Caisse @michael.caisse.io bithead : C++, embedded, hardware, software, and mentoring. Passionate about Software Engineering. @intel Silicon Engineering. Sabre fencer.
Robert Burke @lostluck.dev ⌯Go, 🇨🇦, 🍻, 📸, 🎮, 💙
Dr. Kate @radkat.fitzpat.com Misc misc misc. SWE↔️SRE. Mom of three. Married to @bradfitz.com. Between chaotic good and chaotic neutral.
Antithesis @antithesis.com Bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
Tailscale @tailscale.com Your private programmable network.
Brad Fitzpatrick @bradfitz.com I do computers. Married to @radkat.fitzpat.com. Three kids. Xoogler.
Go (#golang) team 2010~2020. Made LiveJournal, OpenID, memcached. Currently at @Tailscale.com making WireGuard easy.
Seattle, WA // Bainbridge
Willow (GHOST) @willow.sh 🧙🏼♀️ Working on Open Source and Communities! (she/her) 🎃
Core Team @npmx.dev @e18e.dev
Maintainer @bomb.sh
Community @svelte.dev @svelte.london
Events https://willow.sh/events
Vincent Bernat @vincent.bernat.ch Network engineer at AS12322. Debian and free software developer. Like to work on projects with C, Python, or Go. He/him. https://vincent.bernat.ch
Conor Shakory @codereport.bsky.social Research Scientist NVIDIA • YouTube Content Creator • Host of ADSP, ArrayCast, Tacit Talk, The R4 Running Podcast • https://conorshakory.com
Adám Brudzewsky @abrudz.bsky.social Orthodox Jew working full time as APL programmer and Head of Language Design at Dyalog Ltd.
Ink & Switch @inkandswitch.com An independent research lab exploring the future of tools for thought.
We envision a new computer that amplifies human intelligence. A system that helps you think more clearly, collaborate more effectively, and is available anywhere and anytime.
Techwerkers @techwerkers.bsky.social Techwerkers | Tech Workers Coalition Netherlands is where tech workers come together to build collective power at work
Michael Nielsen @michaelnielsen.bsky.social Searching for the numinous
Australian Canadian, currently living in the US
https://michaelnotebook.com
Adrian Sieber @adriansieber.bsky.social Building SaaS apps with Haskell and Elm:
Airsequel (https://airsequel.com)
github.com/ad-si
x.com/AdrianSieber
Fridtjof Siebert @fridis.bsky.social ࿋🚴🏃🐕🦺🐈🎏🥨🥐🥝🇪🇺
Designing the Fuzion programming language and implementing related tools (http://fuzion-lang.dev).
SW safety&security, static code analysis, compilers, FP&OOP.
Radical cyclist, distance runner, resisting car centric culture.
The Fuzion Language @fuzionlang.bsky.social A language that unifies concepts to improve productivity and to use tools for performance and correctness.
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
Konstantinos Kallas @konstantinoskallas.bsky.social Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
David Monniaux @monniauxd.bsky.social "Uncultured researcher in computer science, completely banal and mainstream."
affilié à France Points Fixes
familier de France Pintades
he/him/whatever
https://social.sciences.re/@MonniauxD
https://cv.hal.science/david-monniaux
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Andreas Fertig @andreasfertig.com Trainer, Speaker, Programmer all around C++ and Embedded Systems. Creator of http://cppinsights.io
Samuel @samuel.fm claudethropologist @ bluesky
📍 the posting mines
Sungbin Jo @goranmoomin.dev interested in programming languages and low-level system programming. an emacs user. profile image not me.
Maggie Appleton @maggieappleton.com Staff Research Engineer @githubnext.com. But actually a designer.
Adores digital gardening, end-user development, and embodied cognition. Makes visual essays about design, programming, and anthropology.
📍 London
🌱 maggieappleton.com
Douglas Creager @dcreager.net Engineer at #Astral, working on Python tooling. Frozen pizza connoisseur. PL and program analysis dilettante. Unapologetically retro.
This is a 9 planet family, kids! ♇
🌐 https://dcreager.net/
🧭 Massachusetts
Orual @nonbinary.computer Person who does electrical, computer, and music things.
Mother of machines.
they/she/it
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
Nick Lockwood @nicklockwood.com iOS. 3D graphics. Retro games. He/Him.
Jon W. @rarefilmm.bsky.social Man on a mission to find and preserve the rarest and most obscure films ever made. Posts mostly film & TV related content.
turbopuffer @turbopuffer.bsky.social {vector, full-text} search engine built on object storage. fast, cheap, trillion scale. powers Anthropic, Harvey, Notion, Cognition, and more
Tweag by Modus Create @tweag.io Tweag is the home of specialized engineering and advisory for Modus Create, uniting engineers and researchers to solve complex challenges. With expertise in functional engineering, build systems like Nix, Bazel, and Buck2, and blockchain like Cardano.
Menno @menno.io Makes software. Dad. Likes Rust, Python, Go, bouldering and mountain biking. Aotearoa import. he/him
https://menno.io/about
Matthew Weidner @mweidner.bsky.social Collaborative software at Common Curriculum / CMU
I write about CRDTs etc: https://mattweidner.com/
Tyler Butler @tylerbutler.bsky.social 
Ragnar {Groot Koerkamp} @curiouscoding.nl Postdoc on high troughput bioinformatics @ KIT Karlsruhe;
IMO, ICPC, Xoogler, Rust, road-cycling, hiking, wild camping, photography
Kevin Gibson @kevin-gibson.com He/him. Software developer, graphics/ML prev. Apple, Xbox, Hololens. Canadian. Music, computer graphics, baking, etc.
David Bushell 🪿 @dbushell.com Web Developer, Designer, Blogger, UK – dbushell.com – no AI – Founder of valleyfold.co.uk
⚓ https://dbushell.com
⚓ https://valleyfold.co.uk
Ichiro Hasuo 蓮尾 一郎 @ichirohasuo.bsky.social 情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
Dr. Wes Robertson @scriptingjapan.bsky.social Chair of Languages & Cultures @ Macquarie University. Sociolinguist of Japanese. Lingua Brutallica co-host. Studies Japanese script, media, language, and metal. 日本語の文字やメタル や翻訳を研究する社会言語学者. He/Him.
https://wesleycrobertson.wordpress.com- I Agnishom @isomorphism.xyz
John Flockton @thegreatercurve.com infra @meta
Anton Zhiyanov @antonz.org Maintainer at https://github.com/nalgeon. Author at https://antonz.org
Jesse @jse.li he/him 🦠 nyc 🏙️ friend of lactobacillus 🤩🌈🏴 we do not yet know what a computer can do
https://twitter.com/__jesse_li
Siddhartha Golu @siddharthagolu.com I read books to understand myself. Infrastructure nerd. Co-Founder & CTO, one800.help.
Writes sporadically at siddharthagolu.com
abhirag @abhirag.com i know computer (and computer knows me?)
https://abhirag.com/
Elia @scotto.me Software and writing -> scotto.me
Carlo Zottmann @zottmann.dev He/him. Human. #WokeAF
Indie dev from Flensburg, Europe 🇪🇺. Building productivity-related #macOS & #iOS Shortcuts tools @ https://actions.work (@actions.work)
IT'S YA BOI: https://c.zottmann.dev
Mastodon: https://norden.social/@czottmann
Bobbie Chen @bobbiechen.com Product, platforms, UX, and more - writing about connections at digitalseams.com
Ben Myers @benmyers.dev #Accessibility person and human T-rex 🦖
Blogging about accessibility at https://benmyers.dev/
If you prefer Mastodon: https://a11y.info/@ben
Charlie Stross @cstross.bsky.social SFF author, triple Hugo award winner (and three times Locus award too), over a million books sold.
Mostly on Mastodon: @cstross@wandering.shop
Blog: https://www.antipope.org/charlie/blog-static/
Bodil @bodil.lol Lavatory assistant to @bark_maul. Knows just enough computer science to be dangerous. Chef de cuisine at […] [bridged from social.treehouse.systems/@bodil on the fediverse by https://fed.brid.gy/ ]
Andrew M. Bailey @resistance.money Professor at the National University of Singapore. I teach and write about money, technology, and philosophy. andrewmbailey.com
Nadim Kobeissi @nadim.computer Applied cryptographer. Mainly working in the cryptography auditing industry, but sometimes venturing back into academia. https://nadim.computer
Mario Zechner @mariozechner.at You may know me from the Austrian parliament or national library, "hacktivist", computers this and that.
https://cards-for-ukraine.at
https://www.wired.com/story/heisse-preise-food-prices/
@badlogic@mastodon.gamedev.place
https://mariozechner.at
HN @hnws.bsky.social Unofficial Hacker News Bot.
I publish posts which reach front page of the Hacker News automatically.
In case of issues please contact my maintainer @sashk.dev
@robert.kra.hn @robert.kra.hn Software engineer & founder. Devops if no one is looking. Building something new for video streaming & conferencing!
Tools of trade: Rust, Emacs, Nix. Will get back to Smalltalk, Common Lisp & Clojure one day!
https://podwriter.io
https://robert.kra.hn
Ted Kaminski @tedinski.com 🦀🥳 tedinski.com
Previously: Kani Rust Verifier, AWS, PL/compilers PhD
$ jdx --help @jdx.dev https://github.com/jdx
Randall Degges @rdegges.com I'm just a happy programmer that likes to hack stuff.
Awesome Agents @awesomeagents.bsky.social Your guide to AI models, agents, and the future of intelligence. Reviews, leaderboards, news, and tools all in one place.
https://awesomeagents.ai
Kay Lack @neoeno.bsky.social tech educator. she/her
Zellij_dev @zellij-dev.bsky.social Hi there! I'm Zellij, a terminal workspace with batteries included.
Trifecta Tech Foundation @trifectatech.bsky.social Open infrastructure software in the public interest.
Maintainer of utilities and libraries for time synchronization, data compression, and on privilege boundaries.
Projects: sudo-rs, ntpd-rs, statime, zlib-rs and more on trifectatech.org.
antirez @antirez.bsky.social Reproducible bugs are candies 🍭🍬
I like programming too much for not liking automatic programming.
bashbunni @bashbunni.dev Coder. FOSS lover. Breaker of things.
https://www.twitch.tv/bashbunni
https://www.youtube.com/bashbunni
https://bashbunni.dev
Juniper @juniperbevensee.bsky.social Lost in a big parameter world.
~
Decentralisation / agency / decol
juniperbevensee.com
🫀
cyborg.garden
Ed @ed3d.net Main Character Syndrome, but fun. Boston-based. My wood shop and my dogs are my personality. If you're still reading this, I'm your dad now. Sorry, I don't make the rules.
I don't speak for my employer. I do make @polytoken.dev.
signal: edr.91
David Hewitt @davidhewitt.dev Developing PyO3 to bring Rust 🦀 and Python 🐍 together.
Working with the team at Pydantic to build software that developers love.
Mambi @gambiconf.dev 🎫 Ingressos disponíveis: R$ 70/sábado, R$ 60/domingo | 🗓️ 28 e 29 de Novembro, na USP - Campus Butantã
Nicolas Seriot @nst021.bsky.social Unintended computations.
Sideways thinking.
Rigorous craft.
Context-Generic Programming @contextgeneric.dev A new modular paradigm for Rust. Project account managed by @maybevoid.com. More info at https://contextgeneric.dev/
Soares Chen @maybevoid.com Rust Nerd ∘ Creator of Context-Generic Programming @contextgeneric.dev ∘ Interested in Haskell, functional programming, type theory, category theory, programming language theory ∘ https://maybevoid.com ∘ https://contextgeneric.dev
Soatok @soatok.bsky.social 30-something gay furry with an interest in cryptography and software security.
Mastodon: https://furry.engineer/@soatok
Blog: https://soatok.blog
🎨 https://mrjimmydafloof.bsky.social
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
Open Local First @localfirst.bsky.social The home for the communities of open source developers, engineers, researchers and designers who love and do Local First software.
Organizing the Local First devroom at FOSDEM'26 in Brussels. 1st Feb 2026.
https://openlocalfirst.org
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
Alex Good @patternist.xyz I work on local-first software, currently building Automerge at Ink and Switch. Find me at patternist.xyz
James Harding @jameshard.ing Software Engineer → Airline Pilot
☀️ by day: Airbus A350 First Officer 👨✈️
🌙 by night: Python/TS/React 👨💻 (when not flying overnight, of course!)
https://jameshard.ing
Dan Blanchard @dsblanch.bsky.social Pythonista, dad, gamer
Currently at Monarch
Previously: Parse.ly, Coiled, Affirm, Peel, and ETS
Maintainer of chardet
VLDMR VRNKN @vladimir.varank.in vladimir.varank.in
River 🏳️🌈 ❤️ @riverofberlin.bsky.social Ayo!, I am River, I am a tinkerer, and a person that dreams 🏳️🌈 ❤️
Very very much looking for a job right now!
Website : https://river.berlin
Cover photo from : https://unsplash.com/photos/a-body-of-water-surrounded-by-trees-and-grass-L1hy_D8_0DY
CMU Database Group @db.cs.cmu.edu Carnegie Mellon Database Research Group
https://db.cs.cmu.edu/
Gynvael Coldwind @gynvael.bsky.social Security researcher/programmer ⁂ Managing director @ HexArcana ⁂ @DragonSectorCTF founder ⁂ he/him
Jake Lazaroff @jakelazaroff.com nyc-based programmer and designer. alum @recurse.com. azzajew. public transit enjoyer. thoughts on local-first software, atproto, javascript frameworks, web components, css and other web minutiae.
🌐 https://jakelazaroff.com