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/
Marc Brooker @marcbrooker.bsky.social Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Mark Seemann @ploeh.dk 
Gabriela Moreira @bugarela.com CEO at @quint-lang.org. 27 years old, Joinville - Brazil.
localthunk @localthunk.com Literally a fool
Creator of Balatro ( @playbalatro.com )
Business/Media: balatro@playstack.com
Blog: localthunk.com
Direct contact: localthunk.contact@gmail.com
🇨🇦
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
Lorin Hochstein @norootcause.surfingcomplexity.com Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
@ortoslon.bsky.social @ortoslon.bsky.social 
Skerples @skerples.bsky.social 
Bridgy Fed for the fediverse @ap.brid.gy Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your account to the fediverse, follow this account.
To ask a fediverse user to bridge their account, send their address (eg @user@instance) to this account in a chat message.
More i…
GOLIKEHELLMACHINE @golikehellmachine.com anarchist warlord arbitration consultant. drummer in tragic lovers. writes WORK IS FOUR LETTERS, poster emeritus for NORMAL MEN. don't be a dick.
https://golikehellmachine.com
https://tragiclovers.bandcamp.com
Nintendo .DS_Store @slim.bsky.social Pidgin algebraist, baseball influencer https://slim.computer
Rebeca Carrillo Dzib (Bala’am K’an Ak’Bal Ts’ib ) @rebecacarrillojj.bsky.social Biracial (Maya Wiinik & Scot diaspora), dual citizen (🇲🇽🇺🇸) from the borderlands and Chicago. (u of c 2015)
Native-first from Scribe House. Big fan of Creator & Son.
BJJ competitor, 12 year software engineer, writer. Unfortunately, I’m a human.
ttto @ttto-ok.bsky.social magnolia appreciator, majoramask enjoyer
illustration, small games @ ttto.cafe & ttto.itch.io
we do not need to spend any more time or empathy on this hamster
@jayaprabhakar.bsky.social @jayaprabhakar.bsky.social 
Goblin Punch @goblinpunch.bsky.social I'm going to try to post something every day. Let's see how far I get.
-Arnold K.
goblinpunch.blogspot.com
Hazel Weakly @hazelweakly.me I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Alex Clemmer @hausdorff.bsky.social Brexit, Buffalo Wild Wings, and Britney Spears. Also @moment.dev
thattommyhall @thattommyhall.com Like mountains, cycling and math(s)
Doing a mix of Dev and Ops since before we concatenated the strings
Annoyingly pre-post-economic
Federico Ponzi @fponzi.me MSc in Computer Science. SDE @microsoft Distributed systems and operating systems.
My tweets, my opinions
@ycabello.bsky.social @ycabello.bsky.social 
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
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
Matt Noonan @banjotragedy.bsky.social Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
Richard Whaling @r.whal.ing I hack things. Data, ML, music, etc. AI governance geek. Founder of semistructured.ai, speaking in a personal capacity only here. Likes are bookmarks, not endorsements.
music/art projects on IG, @r__whaling
Alex Hidalgo @alex-hidalgo.com I'm back! | Field CTO at Nobl9 | Author of The SLO Book. | "SRE's Raconteur" | I like dogs more than people.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Ray Myers @raymyers.bsky.social Retrofuturist software mender / The Coding Agency / Empathy in Tech
jan Pana Suno li toki pona
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
Cassidy @cassidoo.co Making memes, dreams, & software!
Sr. Director of Dev Advocacy at GitHub. Married to a dweeb and mom to a nerdy toddler + baby combo. She/Her ✝️ CHI 🏠
Subscribe to my newsletter!
cassidoo.co/newsletter
bob's burgers urbanist @yhdistyminen.bsky.social 🎲 land tax 🔰 weightlifting 🏋️ dadposting 👶 black metal ⚔️
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
Filippo Valsorda @filippo.abyssdomain.expert RC F'13, F2'17
Cryptogopher / Go cryptography maintainer
Professional open source maintainer
https://filippo.io / https://github.com/FiloSottile
https://mkcert.dev / https://age-encryption.org
https://sunlight.dev / https://filippo.io/newsletter
Fred Hebert @ferd.ca Staff SRE @ honeycomb.io, Tech Book Author, Resilience in Software Foundation board member, Erlang Ecosystem Foundation co-founder, Resilience Engineering fan. SRE-not-sorry.
blog: https://ferd.ca
notes: https://ferd.ca/notes/
Jerry Chen @jcsalterego.bsky.social 1x winner of the "oh i'm pretty sure that's just jerry spreading misinformation" award 🥇🏆
"a merchant, selling microdoses of pleasant fictions" - tyler
• Goodfeeds @goodfeeds.co
• Sky․app @getsky.app
thanked by darth july 20, 2023
📍Austin, TX
dan @danabra.mov dancing for your pleasure
Paperback Paradise @paperbackparadise.bsky.social The world's #1 used book store. Come visit us at the edge of eternity.
store:
https://paperbackparadise.bigcartel.com/
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.
Matt Keeter @mattkeeter.com ✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
Camille Fournier @skamille.themanagerswrath.com she/her. Author, manager, distributed systems engineer, etc etc, my latest book Platform Engineering is available now! https://amzn.to/4eUz5zB- C Cindy Sridharan @copyconstruct.bsky.social
- M @mjsteffen.bsky.social @mjsteffen.bsky.social
Brian Hicks @brianhicks.bsky.social Programmer and maker and general tinkerer. https://bytes.zone
Sam Tobin-Hochstadt @samth.bsky.social Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Shriram Krishnamurthi @shriram.bsky.social Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket
I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
Christina Holland @mortalwombat.info Firebase JS at Google, wrote for Cracked. Blog posts, stories, and art at mortalwombat.info
jacobian @jacobian.org django, security, eng management, basketball shitposting.
web: jacobian.org
signal: jacobian.01
post malone ergo propter malone @proptermalone.bsky.social mostly politics. some Seahawks.
Normal Man.
oh and one more thing
you aren’t going to like
what comes after America
ben driscoll @daisyowl.com I'm Ben Driscoll, artist and writer and programmer. I make games and stuff
🚀 Cobalt Core https://store.steampowered.com/app/2179850/Cobalt_Core/
🛠️ Sunshine Heavy Industries https://store.steampowered.com/app/1542810/Sunshine_Heavy_Industries/
Leftover woman @rosactrl.bsky.social Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
@lmstr.bsky.social @lmstr.bsky.social lemmster.de
@lemmster, @lmstr, or @lemmy elsewhere - M @magworldpw.bsky.social @magworldpw.bsky.social
- T @twoflour.bsky.social @twoflour.bsky.social
Dean Wampler @deanwampler.com The guy who is wrong on the Internet. AI Alliance and IBM Research, photography, history buff, cat massage expert.
Laurence Tratt @ltratt.bsky.social Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
dustin Couch @dustinkcouch.bsky.social www.youtube.com/@dustinkcouch
Yair Rosenberg @yair-rosenberg.bsky.social National correspondent, New York Times.
Previously: Staff Writer, The Atlantic.
Covering religion, politics, culture, and other low stakes subjects.
Mailing list: yair.substack.com
Music: bit.ly/azyashir
Murat (Distributolog) @muratdemirbas.bsky.social Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Duo @meowtima.bsky.social Gender traitor
Mark J. Nelson @mm-jj-nn.bsky.social Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
@neilraman.bsky.social @neilraman.bsky.social Episcopal priest and Rector of Grace Church in Haddonfield, NJ
Will Craft @wcraft.bsky.social Data and Graphics Editor at the Guardian US, used to be words and sounds on In The Dark, Sent Away, APM Reports, and your local public radio station.
Jessica Kerr @jessitron.bsky.social Symmathecist, in the medium of code.
Software, systems thinking, observability, process philosophy, enactivism. She/her
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
Anthony Clark @nedroid.com The cartoonist, not the “Yes, Dear” guy
Nedroid.com
Peter Bhat Harkins ✔️ @push.cx Programmer by day, programmer by night.
Blog: https://push.cx Bootstrapping: https://recheck.dev
I run https://lobste.rs and stream office hours Mon+Thu: https://push.cx/stream
For people migrating, I was @pushcx on Twitter. I use he/him.
Mat Fournier @mat4nier.bsky.social Geotech Engineer turned sw dev. http://M.A.Sc. Geological Engineering, Masters Data Science @UBC FP/Rust:- P Puikeicheng @puikeicheng.bsky.social
"Online Rent-a-Sage" Bret Devereaux @bretdevereaux.bsky.social Ancient & military historian specializing in the Roman economy and military. PhD from UNC History. More impressive credential is that I have beaten both Dark Souls and Elden Ring.
Blogs at acoup.blog
Talia Ringer @taliaringer.bsky.social - D Dan Luu @danluu.com Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
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
Martin Kleppmann @martin.kleppmann.com Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
arachnocapitalist @arachno.capital a short, sturdy creature, fond of drink and industry
Randall Munroe @xkcd.com 
Cassie Moy @cassiemoy.bsky.social worker-owner & web dev positiondev.com, she/her
E. Lewis @e-lewis.bsky.social Software Engineer, living that growth curve life. Particularly interested in documentation, python, and which tech talks in NYC have the best food.
Hunter Owens @hunterowens.net los angeles-area resident, your friendly state transportation policy bureaucrat, architecture, tacos. 
Alice ✨ @welltypedwit.ch There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Girl with the Perl Earring @yomilly.bsky.social Software Engineer @Fastly
I like taking pictures of weird stuff in the ocean 🌊
Tell your dog I said hi 👋
Li Chen @exocomics.com I like cats.
My third graphic novel Detective Beans and the Map of Mystery is available to pre-order now! https://detectivebeans.com
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🫐 currently working on https://vixen.rs and ML/ASR stuff, occasionally making videos about my latest code crimes 🦀 rust shill until something better comes up
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
Jordan Lewis @largedatabank.com Sr Director of engineering @ Cockroach Labs.
Brooklyn
Check me out: https://largedatabank.com
The old site: https://twitter.com/largedatabank
Vicki @vickiboykis.com Founding list[float] engineer. Recsys. Personalization. Infra. Systems. Normcore code. Nutella. Vectors. Words. Vibes. Bad puns (soon).
https://vickiboykis.com/what_are_embeddings/
pablo @morepablo.com 🇺🇸/🇬🇹. had a life in tech (ex - Ramp, Lyft, ClassPass, Google, Adobe, 2 other startups). figuring out what's next https://pablotimer.com . Personal blog at morepablo.com
Kelly Shortridge @shortridge.bsky.social software resilience, cybersecurity, complex systems | chief product officer @fastly.com | nyc
“In the information society, nobody thinks. We expected to banish paper, but we actually banished thought.”
kellyshortridge.com
@swagitda_ on Twitter
Mark Wotton @mwotton.bsky.social freelance goblin technologist
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.
Jeremy Kun @jeremykun.com Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com/linkgraph
https://heir.dev
qdot @buttplug.engineer Teledildonticist, Arctic Fox, Cube
🍑🔌 @buttplug.io
🌐 @good.as.hell.domains
💼 nonpolynomial.com
💵 patreon.com/qdot | ko-fi.com/qdot76367
🐘 buttplug.engineer/@qdot
👾 twitch.tv/qdotfm
💻 github.com/qdot
🎶 last.fm/user/qdot
he/him
art by @gavbat.bsky.social
madeofmistake @madeofmistake.bsky.social world renowned webcomic maker and sage
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/
Richard "RichiH" Hartmann @richih.bsky.social @RichiH@chaos.social
jenn schiffer 🙂↔️ @jennschiffer.com middle-aged dirtbag
jennschiffer.com / livelaugh.blog / bugsrock.online
🚫EMAILING MY WIFE
The Turing Horse @turinghorse.bsky.social Le ciel est, par‑dessus le toit
Justin Duke @jmduke.com The Buttondown guy