Mike Cook @mtrc.bsky.social AI and creativity researcher (no, not that kind of AI) at King's College London. I make things that make things. I also livecode, design games and wrote https://linktr.ee/next_level
http://www.possibilityspace.org | they/he/any
Game Maker's Toolkit @gamemakerstoolkit.com 🎥 YouTube: https://www.youtube.com/@GMTK
🍓 GMTK Game Jam: http://gmtk.itch.io
🔠 Word Play: http://s.team/a/3586660/
🧲 Mind Over Magnet: http://s.team/a/2685900/
Commander Keen @keencommander.bsky.social Grundgesetzfanatiker, Videospiel-Legende #Timberwolves
Kein Fußbreit dem Faschismus und seinem parlamentarischen Arm #noafd
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
Marc Baaden @baam93.bsky.social Theoretical chemist | Transforming microscopic worlds into creative adventures | 🧪 Bridging science, art, and imagination | Exploring the fascinating narratives hidden in molecules
Retro Blast 💫 @retroblastpod.com Patrick B /🎙️Host & Producer of Retro Blast Podcast /🎙️Voice Actor / 📖 Writer
⭐ Official CAPCOM CREATOR
🎮 My CAPCOM Storefront: nexus.gg/retroblast
🎧 Listen Here: retroblastpod.com
💫 Become A Patron: patreon.com/retroblastpodcast
Videospielgeschichten @vsgde.bsky.social 🎮 Persönliche Videospielgeschichten
✍️ 700+ Geschichten von 200+ Autor:innen
💬 6.000+ Kommentare aus der Community
✨ Blog 🎙 Podcast 💗 Forum
👇 videospielgeschichten.de
Emacs Org Mode @orgmode.bsky.social 
@os.mpi-sws.org @os.mpi-sws.org 
Filip Niksic @fniksic.bsky.social Software Engineer @ Google
Previously @ UPenn, MPI-SWS
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@ztatlock.bsky.social @ztatlock.bsky.social 
Talia Ringer @taliaringer.bsky.social 
Mike Hicks @mulad.bsky.social Tech guy into transpo and urbanism, politics to push the needle. Once a streets.mn person. Stuck single, trying to build a less lonely world
Transit blog: https://hizeph400.blogspot.com/
I get lots of fake followers, so apologies for any errant blocks
Ron Garcia @rg9119.bsky.social Transmogrifying coffee into LaTeX, but now more grumpy and slow about it. University of British Columbia Computer Science- G George Pîrlea @georgepirlea.bsky.social
Andrew K. Hirsch @akhirsch.bsky.social 
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.
@rakamaric.bsky.social @rakamaric.bsky.social 
Jonathan Mace @jrmace.bsky.social Education. Golf. Reading. Wine.
Arpan Gujarati @arpanbg.bsky.social Assistant Professor at @csubc.bsky.social | Formerly at #MPI-SWS Germany, #BITS-Pilani India | arpangujarati.github.io
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
Satnam Singh @satnam6502.bsky.social Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Antoine Kaufmann @antoine.systems 
Vaastav Anand @vaastav.bsky.social http://www.vaastavanand.com
PhD student at Max Planck Institute for Software Systems
PHD Comics @phdcomics.com Comics by Jorge Cham: Oliver's Great Big Universe, Elinor Wonders Why, ScienceStuff and PHD Comics
Derek Dreyer @herrdreyer.bsky.social Get used to disappointment.
(Opinions are my own and do not reflect the views or opinions of my employer.)
Aastha Mehta @aasthakm.bsky.social Assistant Professor, UBC CS, http://aasthakm.github.io | Past associations MPI-SWS, NetApp, BITS Pilani.
Anastasia Isychev @isychev.bsky.social Lecturer @USyd, ex-postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Joe Cutler @alphaconvert.bsky.social cutler.pl
hakan @hatr.bsky.social reporter covering cyber (both crime and state-sponsored) for Der Spiegel and ZDF, short overview at https://linktr.ee/hakantanriverdi, Signal: hakan.25
Emanuele D'Osualdo @emanueledosualdo.com TT Professor in Computer Science @unikonstanz.bsky.social
formerly at @mpi_sws, and Marie Curie fellow at @imperialcollegeldn.bsky.social.
Music enthusiast
Alcides @luminouscavalier.bsky.social 
@musicallyut.bsky.social @musicallyut.bsky.social 
Thomas Seiller @seiller.bsky.social CNRS researcher, mathematical foundations of computer science, philosophy of computation. Scientific secretary of CoNRS section 06, member of the board of CoNRS interdisciplinary committee CID 53. 🐘@thomasseiller@lipn.info 🏠https://www.seiller.org
Jose Calderon @josecalderon.bsky.social 
Stratis Tsirtsis @stratiss.bsky.social Postdoc @ Hasso Plattner Institute working on machine learning. Previously @ Max Planck Institute, Meta, Stanford, NTUA.
💻 https://stsirtsis.github.io/
Rajarshi Roy @rjrshr.bsky.social 
Oshrat Ayalon @oshrata.bsky.social 
John Wickerson @wicko3.bsky.social Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Johannes Doerfert @llvm-dev.bsky.social LLVM Developer, OpenMP contributor, Beer drinker, not in this order.
Opinions are mine; for better or worse.
Peter O'Hearn @peterohearn.bsky.social Researcher at Meta (FAIR) & Prof at UCL.
Working on AI, code and reasoning.
Separation logic, Incorrectness logic, Infer. Gödel Prize. Royal Society.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app