DilDog 🅅 @dildog.l0pht.com Tech Dysangelist
cDc/hack.xxx/Veilid
Support Veilid! Badge: 🅅 www.veilid.com
Merch at: @hack.xxx
he/him/"hey buddy"
Erika @rrika9.bsky.social GPU compiler dev, reverse engineer, mostly in Glasgow
Kiran @kirancodes.me Programming Languages Researcher; in NYC
https://kirancodes.me
Théophile Wallez @twal.org Post-doc researcher at CISPA, working on secure group messaging & machine-checked security proofs.
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
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 Allsopp @dra27.uk Cambridge-based, London-working software engineer; sometime classical singer. @dra27 in many places, including GitHub; OCaml maintainer; opam maintainer; Windows {apolog,evangel}ist
Gabriele Venturato @gabventurato.bsky.social PhD Student in Neurosymbolic AI @ DTAI Lab, KU Leuven
Emanuele Marconato @ema-ridopoco.bsky.social Post-doc @ University of Trento. I did my PhD @ University of Trento and the University of Pisa. I like #concepts, #symbols, and #representations, but I still don't know what they are.
📍 Trento, Italy
🧵 #identifiability, #shortcuts, #interpretability
Alex Lew @alexlew.bsky.social Theory & practice of probabilistic programming. Current: MIT Probabilistic Computing Project; Fall '25: Incoming Asst. Prof. at Yale CS
Jan-Willem van de Meent @jwvdm.bsky.social Associate Professor (UHD) at the University of Amsterdam. Probabilistic methods, deep learning, and their applications in science in engineering.
Stefan Marr @stefan-marr.de Interpreters, compilation, concurrency, and debugging tools.
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
Anders Møller @andersmoeller.bsky.social Professor at Aarhus University
https://cs.au.dk/~amoeller
@rpiskac.bsky.social @rpiskac.bsky.social 
Matthieu Lemerre @mattthieulemerre.bsky.social Researcher at CEA LIST, working on abstract interpretation of systems language- D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Marco Peressotti @mperessotti.bsky.social Associate Professor of Computer Science at @sdu.dk.
Doll @dollspace.gay It/Its
Senior Agent Engineer at fieldleveltech.org
Its name is doll. The system is an adult.
Creating ethical and safe AI systems.
EGL Fashion posts!
rob pike @robpike.io Long career as a dilettante at Bell Labs Research and Google, mostly building weird stuff no one uses, but occasionally getting it right, such as with UTF-8 and Go.
Andy Herman @andyhermannfl.bsky.social Owner of the Pack-A-Day Podcast | Writer for PackerReport.com | Food Expert
daniel:// stenberg:// @daniel.haxx.se I write curl. I don't know anything. I am @bagder@mastodon.social
My mastodon posts are mirrored to Blusky here: https://bsky.app/profile/bagder.mastodon.social.ap.brid.gy
Weekly email at https://lists.haxx.se/listinfo/daniel
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
Konstantinos Kitsios @kitsios.bsky.social PhD student @ University of Zürich.
Interested in software engineering and software testing.
https://kitsiosk.github.io
Aymeric Varasse @varasterix.bsky.social Trust me, I’m an engineer!
Currently working at @softwareheritage.org
Clem Delangue 🤗 @clem.hf.co Co-founder and CEO at Hugging Face
Ian Goodfellow @ian-goodfellow.bsky.social Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Founding chairman of www.publichealthactionnetwork.org
Jing Liu @fuzzing.bsky.social PhD student at UC Irvine ➡️ MPI-SP advised by @mboehme.bsky.social
https://jing6.netlify.app/
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
xvw @xvw.lol Allo. I'm Xavier Van de Woestyne from 🇧🇪, living in Nantes. I'm a wannabe software engineer who tweets in rough 🇫🇷 and catastrophic 🇬🇧! I'm interested in functional programming (with statically typed languages).
🇫🇷 https://xvw.lol, 🇬🇧 https://xvw.lol/en
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
IMDEA Software @software.imdea.org At the forefront of research with world-wide top class researchers, to ensure that software is safe, reliable and efficient.
Matt Might @matt.might.net A private citizen
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Sam Westrick @shwestrick.bsky.social assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Quarkslab @quarkslab.bsky.social Securing every bit of your data
https://quarkslab.com
Alberto Bacchelli @sback.it Tweeting about my personal opinions; RT or Following ≠ endorsement. Professor of Empirical Software Engineering at the University of Zurich. Bolognese.
LaurieWired @lauriewired.bsky.social researcher @google; serial complexity unpacker
ex @ msft & aerospace
Horace He @chhillee.bsky.social @PyTorch "My learning style is Horace twitter threads" -
@typedfemale
Green Bay Packers @greenbaypackers.bsky.social #GoPackGo
a ton of crates @tonofcrates.bsky.social Life is nothing but an electron looking for a place to rest.
Marco Z @ocramz.bsky.social ML, λ • language and the machines that understand it • building trellis.unfoldml.com • https://ocramz.github.io
@lutzoettershagen.bsky.social @lutzoettershagen.bsky.social Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
Gianluca Stringhini @gianlucastringhini.com Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
Dr Heidy Khlaaf (هايدي خلاف) @heidykhlaaf.bsky.social Climber 🇪🇬 |Chief AI Scientist at @ainowinstitute.bsky.social | Safety engineer (nuclear, defense, software & AI/ML) | TIME 100 AI | MIT 35 U 35
x-Trail of Bits, OpenAI, Microsoft Research
https://www.heidyk.com/
Galois @galoisinc.bsky.social galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
🤖 RER B (robot non officiel) @rer-b.bsky.social ❌ CE ROBOT NE FONCTIONNERA PLUS ❌
Compte NON OFFICIEL du RER B, ce robot reprend automatiquement les tweets du compte officiel @RERB sur X (Twitter)
(si vous représentez la RATP/SNCF/IDFM et souhaitez voir ce compte supprimé, envoyez un DM !)
Joe Cutler @alphaconvert.bsky.social cutler.pl
Marc de Falco @marcdefalco.eurosky.social IGÉSR, responsable du pôle Données, IA et Numérique,
groupes mathématiques et informatique
Justis Mosqueda @jumosq.bsky.social Pro Bowl long napper. Don't let your children grow up to be refs. I own the Green Bay Packers. They own the Chicago Bears
Nik Swamy @lambdanik.bsky.social I work on Programming Languages at Microsoft Research
Steve Klabnik @steveklabnik.com #rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
Graydon Hoare @graydon-pub.bsky.social extremely dubious of "everything is public" social network
Lesly-Ann Daniel @lesly-ann.bsky.social Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
@afd-icl.bsky.social @afd-icl.bsky.social Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
Sebastian Raschka (rasbt) @rasbt.bsky.social ML/AI researcher & former stats professor turned LLM research engineer. Author of "Build a Large Language Model From Scratch" (https://amzn.to/4fqvn0D) & reasoning (https://mng.bz/Nwr7).
Also blogging about AI research at magazine.sebastianraschka.com.
Stefania Dumbrava @sdumbrava.bsky.social 
Jonathan Protzenko @protz.bsky.social I talk about Rust, verification, cryptography, programming languages… and pets 
Diego Calanzone @diadochus.bsky.social « artificia docuit fames »
📖 deep learning, reasoning
🧪 drug design @Mila_Quebec
🏛️ AI grad @UniTrento
halixness.github.io
Stefano Teso @looselycorrect.bsky.social Senior assistant prof at University of Trento. I dig Explainable AI, Neuro-Symbolic AI, Interactive ML, Constraints & Circuits.
https://stefanoteso.github.io/ . I "maintain" https://github.com/stefanoteso/awesome-explanatory-supervision .
Tom Grossi @tomgrossi.bsky.social Traveled to all 30 NFL Stadiums in 30 days. Raised $2 Million for Charity. 2023 NFL Fan of the Year. #grossiposse
Kyutai @kyutai-labs.bsky.social https://kyutai.org/ Open-Science AI Research Lab based in Paris
David Bessis @davidbessis.bsky.social Rogue mathematician
https://davidbessis.substack.com/
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Marco Guarnieri @mguarnieri.bsky.social Associate Professor @ IMDEA Software Institute. Doing research on security at the hardware/software interface. Find me also at @mguarnieri@infosec.exchange
Ange @angealbertini.bsky.social Reverse engineer, file formats expert.
Corkami, CPS2Shock, PoC||GTFO, Sha1tered, Magika...
Security engineer @ Google. He/him.
Davide Balzarotti @balzarot.bsky.social Professor in Computer Security @EURECOM
Ex Defcon CTF organizer with @oooverflow
Peter Goodman @cxx.dev C++ developer specializing in source and binary program analysis and transformation.
Jon Masters @jonmasters.bsky.social Troublemaker | Computer Architect | @Arm Servers Architect @Google | Former DE @RedHat | Former VP @Nuvia_Inc | Runner | Author | All views my own | #ArmServers
Guillaume Hiet @guillaumehiet.bsky.social Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
Sung Kim @sungkim.bsky.social A business analyst at heart who enjoys delving into AI, ML, data engineering, data science, data analytics, and modeling. My views are my own.
You can also find me at threads: @sung.kim.mw
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/
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
Mathis Hammel-Brylinski @mathishammel.bsky.social Programmation compétitive, cybersécurité & IA.
Co-fondateur & CTO @agoratlas.com, agence d'analyse des réseaux sociaux à grande échelle.
Jeff Dean @jeffdean.bsky.social Google Chief Scientist, Gemini Lead. Opinions stated here are my own, not those of Google. Gemini, TensorFlow, MapReduce, Bigtable, Spanner, ML things, ...
Xavier Leroy @camlist.bsky.social Computer scientist. Programming geek. Amateur mathematician. Concerned citizen.
Terence Tao @teorth.bsky.social Mathematician at UCLA. My primary social media account is https://mathstodon.xyz/@tao . I also have a blog at https://terrytao.wordpress.com/ and a home page at https://www.math.ucla.edu/~tao/
Bruno Lopes @sonicsprawl.bsky.social ClangIR, LLVM, C++, stargazer comedor de farofa 
Eric Christopher @echristo.bsky.social Cats, Games, Compilers, Software Performance,
Open Source.
Avid side-quest enthusiast.
GCC - GNU Toolchain @gnutools.bsky.social GCC, Binutils, GDB, GLIBC. The system compiler for the FOSS and Linux software ecosystem. Continually Improving.
Robert C. Seacord @rcs.bsky.social C programmer, curmudgeon
JF Bastien @jfbastien.com Build & scale platform — working on humanoid robotics 🤖
🔗 https://jfbastien.com
🔗 https://tlbh.it
📍 東京、日本
CNRS @cnrs.fr Organisme public 🇫🇷 de recherche pluridisciplinaire, le Centre national de la recherche scientifique c'est 33 000 personnes qui font avancer la connaissance. #HelloESR
Caroline Lemieux @cestlemieux.bsky.social now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app
@halvarflake.bsky.social @halvarflake.bsky.social 
Konrad Rieck 🌈 @rieck.mlsec.org Machine Learning and Security,
Professor of Computer Science at TU Berlin,
chompie @chompie.rip hacker, poster, weird machine mechanic
https://chompie.rip
Daniel Moghimi @flowyroll.bsky.social Senior Research Scientist @Google
Hardware & System Security
2 x Blackhat Speaker 🎩
Jujitsu Bluebelt 🥋
Zoukster
Julien Vanegue @jvanegue.bsky.social CTO Office / Head of Infrastructure & Security Research at Bloomberg. Interested in software, systems, and network verification at world scale.
Matt Godbolt @matt.godbolt.org Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights.
he/him
Pietro Borrello @pietroborrello.bsky.social Security Researcher | PhD Alumn at @SapienzaRoma | Pwner at @TheRomanXpl0it and @mhackeroni | https://infosec.exchange/@pietroborrello
Eric Eide @ericeide.bsky.social Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Giulio De Pasquale @peperunas.bsky.social Security Researcher @ | (very former) CTF player | Drummer and a bit of a bass player | Most importantly, Doom fanboy
XBOW @xbow.com Bringing AI to offensive security by autonomously finding and exploiting web vulnerabilities. https://xbow.com/