bug nerds 🐛 🐞 🐜
You hate testing. You'll love us.
https://antithesis.com/
Executable specs for reliable systems.
Understand what you're building, drive AI with precision, and verify its output.
https://quint-lang.org/
Serverless, databases, and serverless databases at AWS. Views my own.
Check out my blog: https://brooker.co.za/blog/
Lead Developer for @quint-lang.org. 27 years old, Joinville - Brazil.
Literally a fool
Creator of Balatro ( @playbalatro.com )
Business/Media: balatro@playstack.com
Blog: localthunk.com
Direct contact: localthunk.contact@gmail.com
🇨🇦
Senior Staff Research Engineer in the MongoDB Distributed Systems Research Group. Photographer, Gunks climber, Zen Buddhist. Blog: https://emptysqua.re
Student of complex systems failures, resilience engineering, cognitive systems engineering. Will talk your ear off about @resilienceinsoftware.org
Bridgy Fed (https://fed.brid.gy/) bot user for the fediverse. To bridge your Bluesky 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.…
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://normalmenpodcast.com
https://tragiclovers.bandcamp.com
Pidgin algebraist, baseball influencer https://slim.computer
I build software for a living and I’m biracial : indigenous (Yucatec Maya) and Scottish diaspora. BJJ competitor and writer. Unfortunately, I’m a human.
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
I'm going to try to post something every day. Let's see how far I get.
-Arnold K.
goblinpunch.blogspot.com
I have thoughts. Lots of thoughts. They never stop thinking. Never stop thunking.
hachyderm.io/@hazelweakly
Brexit, Buffalo Wild Wings, and Britney Spears. Also @moment.dev
Like mountains, cycling and math(s)
Doing a mix of Dev and Ops since before we concatenated the strings
Annoyingly pre-post-economic
MSc in Computer Science. SDE @microsoft Distributed systems and operating systems.
My tweets, my opinions
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
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
Static analysis by day, baduk and old-time music by night. Writing compilers to stop the baddies.
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
I'm back! | Field CTO at Nobl9 | Author of The SLO Book. | "SRE's Raconteur" | I like dogs more than people.
computers can be understood • she/her, ⚢ • Chicago
Retrofuturist software mender / Legacy Code Rocks / Empathy in Tech
jan Pana Suno li toki pona
Software Design Loudmouth. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
host of https://martinfowler.com
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
🎲 land tax 🔰 weightlifting 🏋️ dadposting 👶 black metal ⚔️
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
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
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/
1x winner of the "oh i'm pretty sure that's just jerry spreading misinformation" award 🥇🏆
• Goodfeeds @goodfeeds.co
• Sky․app @getsky.app
thanked by darth july 20, 2023
📍Austin, TX
The world's #1 used book store. Come visit us at the edge of eternity.
store:
https://paperbackparadise.bigcartel.com/
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.
✨ Weird CAD and graphics research
⚙️ Embedded software and Rust
🌎 Cambridge, MA
🏠 mattkeeter.com
she/her. Author, manager, distributed systems engineer, etc etc, my latest book Platform Engineering is available now! https://amzn.to/4eUz5zB
Programmer and maker and general tinkerer. https://bytes.zone
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
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.
Firebase JS at Google, wrote for Cracked. Blog posts, stories, and art at mortalwombat.info
django, security, eng management, basketball shitposting.
web: jacobian.org
signal: jacobian.01
mostly politics. some Seahawks.
Normal Man.
oh and one more thing
you aren’t going to like
what comes after America
I'm Ben Driscoll, 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/
Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@RosaCtrl
lemmster.de
@lemmster, @lmstr, or @lemmy elsewhere
The guy who is wrong on the Internet. AI Alliance and IBM Research, photography, history buff, cat massage expert.
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
www.youtube.com/@dustinkcouch
Staff writer, The Atlantic.
Politics, religion, culture, and other low stakes subjects.
Newsletter: theatlantic.com/newsletters/sign-up/deep-shtetl/
Music: bit.ly/azyashir
Distributed systems,Database systems, Lightweight formal methods, TLA+
https://muratbuffalo.blogspot.com/
Comp. sci. prof. @ American University, Washington DC. AI & games researcher with miscellaneous other interests. https://www.kmjn.org/
Episcopal priest and Rector of Grace Church in Haddonfield, NJ
Data 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.
Symmathecist, in the medium of code.
Software, systems thinking, observability, process philosophy, enactivism. She/her
Author of cargo-semver-checks & Trustfall // https://github.com/sponsors/obi1kenobi // https://predr.ag/blog // ex Principal Eng @Kensho // MIT alum // https://hachyderm.io/@predrag // not from around here 🇲🇰 // he-him
The cartoonist, not the “Yes, Dear” guy
Nedroid.com
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.
Geotech Engineer turned sw dev. http://M.A.Sc. Geological Engineering, Masters Data Science @UBC FP/Rust:
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
Active on Mastodon: https://mastodon.social/@danluu. Also trying https://threads.net/@danluu.danluu
Software engineer in rural exile. Autonomous and generative testing, PL, web, and more.
wickstrom.tech
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
a short, sturdy creature, fond of drink and industry
try using @xblock.aendra.dev if bsky hurts lately
worker-owner & web dev positiondev.com, she/her
Software Engineer, living that growth curve life. Particularly interested in documentation, python, and which tech talks in NYC have the best food.
los angeles-area resident, your friendly state transportation policy bureaucrat, architecture, tacos.
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Software Engineer @Fastly
I like taking pictures of weird stuff in the ocean 🌊
Tell your dog I said hi 👋
I like cats.
My second graphic novel Detective Beans: Adventures in Cat Town is available now! https://detectivebeans.com
hi, I'm amos! 🍃 they/them 🫐 open-source witch & maker of snappy videos and articles at @bearcove.eu ✨ be kind, be curious
articles: https://fasterthanli.me
videos: https://youtube.com/@fasterthanlime
podcast: https://sdr-podcast.com
pronouns: they/them
Sr Director of engineering @ Cockroach Labs.
Brooklyn
Check me out: https://largedatabank.com
The old site: https://twitter.com/largedatabank
Founding list[float] engineer. Recsys. Personalization. Infra. Systems. Normcore code. Nutella. Vectors. Words. Vibes. Bad puns (soon).
https://vickiboykis.com/what_are_embeddings/
🇺🇸/🇬🇹. 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
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
freelance goblin technologist
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.
Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google.
https://jeremykun.com
https://pimbook.org
https://pmfpbook.org
https://buttondown.email/j2kun
https://heir.dev
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
world renowned webcomic maker and sage
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/
platform-reknowned candle-maker and karaoke professional with two computer science degrees, jennschiffer.com of @bugsrock.online
blog: livelaugh.blog
shop: bugsrock.online
nyc co-host: robotkaraoke.live
Le ciel est, par‑dessus le toit