DOUBLE WHAMMY @doublewhammy.bsky.social Solo game dev / musician working on 「Double Whammy」 🤘
Guitar-themed action game & shop management! 🎸
Wishlist on Steam!
https://linktr.ee/dw_game
Metamorph Games @metamorph.games Currently making Chrysalis, a roguelike nature-defense game: https://store.steampowered.com/app/1594210
Made by @alexyoder.music
#gamedev / #pixelart / #indiegame / #solodev
DRD @drd.dev 🎮 #gameDev making playdate stuff.
// CURRENT PROJECT
#HELLEVATOR - coming to S3 on PD!
// LINKS
🌐 https://drd.dev | 🕹️ https://drd-dev.itch.io
// OTHER INTERESTS
🍳 #Cooking 🥾 #Hiking 🪱 #DUNE
SIDRALGAMES @sidralgames.bsky.social indie game makers
sidralgames.itch.io
HYPERWIRED OUT NOW! 🔌🚀
https://store.steampowered.com/app/3234850/HYPERWIRED/
Play now on pc and consoles!
Petskull games @petskullgames.com IT developer by day, game developer by night. Creating small and fun retro inspired 2D games because I love it!
All my released games on Steam : https://store.steampowered.com/curator/43313088
Born in 1969, so probably one of the oldest gamdev's in here?
AJ / Seegle @rxbeetle.itch.io Part-time creator, full-time liver failure.
“70% of my body is made of insects”
(the other 30% IS YELLOW BILE)
SFW ONLY👍👍
Niki's Quest Dev @nikisquest.bsky.social I'm developing a Rogue-Lite inspired by games like Peglin and Hades with a protagonist based on my wife. I am a software engineer and gamedev brings me peace.
Would love to do this full time eventually.
Discord: https://discord.gg/Jz4xAnSdTt
Joshua Grochow @joshuagrochow.bsky.social Research: TheoryCompSci, pure math, complex systems
Other: climate; covid; equity, inclusion, & accessibility
Assoc. Prof. @ CU Boulder Comp. Sci. & Math
Views my own
@joshuagrochow@mathstodon.xyz (& prev twitter)
https://home.cs.colorado.edu/~jgrochow
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)
Lance Fortnow @lance.fortnow.com Complexity Theorist
Jason Hartline @jasonhartline.bsky.social Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. My opinions. virtualchair.net, socialcal.org, pubchat.org, https://sites.northwestern.edu/hartline/
Sophie Huiberts @sophie.huiberts.me CNRS researcher in linear programming
Kira Goldner @kiragoldner.bsky.social Assistant Professor at BU CDS
EconCS | Theory of CS | MD+AI+DS4SG | MD4SG co-founder
Previously Columbia, UW, Oberlin. Views are mine alone.
www.kiragoldner.com
𝖬𝖺𝗁𝖽𝗂 𝖢𝗁𝖾𝗋𝖺𝗀𝗁𝖼𝗁𝗂 @mahdi.ch Theoretical Computer Science professor @ U. of Michigan-Ann Arbor.
Opinions are mine and may evolve over time.
repost ≠ endorsement.
Policy: I don't interact with anonymous profiles.
Join AAUP.
he/him/his.
Jess Sorrell @optimistsinc.bsky.social Assistant prof at JHU CS. Interested in theory of ML, privacy, cryptography. All cat pictures my own and do not represent the cats of my employer
Lenore Blum @lenoreblum.bsky.social Mathematician and Theoretical Computer Scientist (#mathematics, #TCS) interested in #Consciousness and #NeuroAI (#Neuroscience, #AI). Distinguished Career Prof of CS at CMU, Emerita. President, Assoc for MathConscSci (AMCS) (https://amcs-community.org)
Henry Yuen @henryyuen.bsky.social Complexity, in all its forms.
Associate Professor of Computer Science at Columbia University.
http://www.henryyuen.net- H Pooya @hatami.bsky.social
Gautam Kamath @gautamkamath.com Assistant Prof of CS at NYU Courant. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning.
http://www.gautamkamath.com
Suresh Venkatasubramanian @geomblog.bsky.social Director, Center for Tech Responsibility@Brown. FAccT OG. AI Bill of Rights coauthor. Former tech advisor to President Biden @WHOSTP. He/him/his. Posts my own.
Sasho Nikolov @thesasho.bsky.social Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
Thomas Steinke @stein.ke Researcher in computer science, math, machine learning, (differential) privacy, AI, etc. at Anthropic.
Kiwi🇳🇿 in California🇺🇸
http://stein.ke/
Aaron Roth @aaroth.bsky.social Professor at Penn, Amazon Scholar at AWS. Interested in machine learning, uncertainty quantification, game theory, privacy, fairness, and most of the intersections therein
Jon Ullman @thejonullman.bsky.social Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
Huck Bennett @huckbennett.bsky.social Faculty at the University of Colorado. Interested in theoretical computer science, and especially lattices. Also: mountains, running, music.
https://home.cs.colorado.edu/~hbennett/
Valeria de Paiva @valeriadepaiva.bsky.social Logician, category theorist, semanticist. Likes to understand life mathematically, please.
Women In Logic @womeninlogic.bsky.social Women in Logic: Dismantling inequality skeet by skeet.
https://www.womeninlogic.org/
CU Boulder CS Theory @bouldertheory.bsky.social Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
Graeme Smith @graemesmith.bsky.social Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
Johanna Franklin @johannamath.bsky.social Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
Erica Klarreich @ericaklarreich.bsky.social Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
Hecate @ohmygoedel.bsky.social It has come to an end
The unknowing sun will rise again
Maybe all is gone, but She still lives on
✍️ Logics, Maths, and Theoretical CS
🐈⬛ Cats, Crows, and Ravens
⚛️ Progressive and Nontheist
🏳️🌈 Pro-LGBTQIA+, Anti-fascist, and Anti-racist
Neeldhara Misra @neeldhara.bsky.social → http://www.neeldhara.com
arxiv cs.CC @arxiv-cs-cc.bsky.social Computer Science -- Computational Complexity (cs.CC)
source: https://export.arxiv.org/rss/cs.CC
maintainer: @tmaehara.bsky.social
Bjørn Kjos-Hanssen @kjoshanssen.bsky.social Math professor 
arxiv cs.DS @arxiv-cs-ds.bsky.social Computer Science -- Data Structures and Algorithms (cs.DS)
source: https://export.arxiv.org/rss/cs.DS
maintainer: @tmaehara.bsky.social
ePrint Updates @eprint.ing.bot Unofficial bot tracking the IACR Cryptology ePrint Archive (eprint.iacr.org). Maintained by @str4d.xyz.
Currently only posts about new papers. Author names are linkified to Bluesky accounts (cryptography.social); contact maintainer for inclusion/removal.
Quanta Magazine @quantamagazine.org Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
Ben Brubaker @benbenbrubaker.bsky.social Computer science staff writer @quantamagazine.org, ex-physicist. More about me at benbrubaker.com. Banner art by Nico Roper — find more of their work at nicoroper.com. [Obligatory disclaimer about views being my own.]
MathSky MathSky @mathskymathsky.bsky.social At some point, maybe you'd follow this feed to be able to post to MathSky with an emoji.
Art from James O’Brien for Quanta Magazine https://www.quantamagazine.org/how-is-math-beautiful-20200616/
Federico Adolfi @fedeadolfi.bsky.social Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science
Max Planck Institute ESI.
Dept. of Computer Science & Mathematics,
Goethe University Frankfurt.
https://fedeadolfi.github.io
On the job market!
Prahladh Harsha @prahladh.bsky.social Computer Scientist, Mathematician, Dancer, Uncle
https://www.tcs.tifr.res.in/~prahladh/
Gary Munnelly @gary-munnelly.bsky.social Academic with the Adapt Centre in Trinity College Dublin. Currently applying what I know towards tackling disinformation and hate speech online. Also the guy behind Fourteen Screws.
🔗 linkedin.com/in/gary-munnelly-111bb919
🔗 fourteenscrews.com
Joe Reddington @joereddington.com he/him. Dad. Into: vegan food, collaborative writing, disability, memory palaces, and my code someday working. Runs a charity. Cyber security lecturer at Royal Holloway. Glass sibling.
Rachel Lawrence @rachel-law.bsky.social Organic machine turning tea into theorems ☕️
AI @ Microsoft Research ➡️ Goal: Teach models (and humans) to reason better
Let’s connect re: AI for social good, graphs & network dynamics, discrete math, logic 🧩, 🥾,🎨, protecting democracy🗽
www.rlaw.me
Tom Gur @tomgur.bsky.social Professor of Computer Science at Cambridge.- H Aram Harrow @harrowing.bsky.social
@amitc1.bsky.social @amitc1.bsky.social 
Ola Svensson @algosvensson.bsky.social Theoretical Computer Science @ EPFL
Kasper Green Larsen @kasperglarsen.bsky.social Professor and Head of Algorithms, Data Structures and Foundations of Machine Learning at Computer Science, Aarhus University
@pinkfloydie.bsky.social @pinkfloydie.bsky.social 
Nadya Voronova @voronovank.bsky.social PhD student at TCS BU.
Interested in sublinear algorithms and quantum.
On the job market!
Michael Dinitz @mdinitz.bsky.social Associate Professor, Department of Computer Science, Johns Hopkins University.
https://www.cs.jhu.edu/~mdinitz/
FOCS 2026 @focs2026.bsky.social Official account for the 2026 IEEE Symposium on Foundations of Computer Science (FOCS), to be held in New York, USA, Nov 8–11, 2026.
🔗 https://focs.computer.org/
Michal Feldman @michal-feldman.bsky.social Professor of Computer Science, @TelAvivUni | @ACM SIGECOM Chair | Research areas: Econ&CS, Algorithmic Game Theory, Market Design
Thatchaphol Saranurak @eigx.bsky.social Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/thsaranurak/
Andrea Montanari @andrea-montanari.bsky.social Professor, Stanford University, Statistics and Mathematics. Opinions are my own.
Jamie Morgenstern @jamiemmt.bsky.social CS professor at UW, research focus in theory of ML, fairness, and econCS
Jeff Erickson @jefferickson.bsky.social Human, smartass, father and son of artists, computer science professor.
If you like baseball, you’re probably looking for @jeff-erickson.bsky.social, not me.
https://jeffe.cs.illinois.edu
Josh Alman @jalman.bsky.social Theoretical Computer Scientist at Columbia. joshalman.com
Anamay Tengse @anamay-tengse.bsky.social Interested in maths, music, poetry and cricket.
Very interested, and therefore working, in theoretical CS.
roseline j a @rxlnj.bsky.social theoretical cs kid
currently @ matscience, chennai
https://rxlnj.github.io/
vaguely reassuring state machines @happyautomata.com A bot by @katef.bsky.social
Taylor Smith @taylorjsmith.bsky.social 🇨🇦 Theoretical computer scientist. Assistant professor at @stfx-university.bsky.social. Website: taylorjsmith.xyz.
Clément Canonne @ccanonne.github.io Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
Aarimous @aarimous.com Solo indie game dev trying his best.
🔴 YouTube: http://youtube.com/@Aarimous
🟣 Twitch: https://www.twitch.tv/aarimous
🔵 Steam : https://store.steampowered.com/developer/aarimous
KYMYK @kymykstudio.bsky.social I'm the developer from a cold place...
Claudio Tulio @claudiotulio.bsky.social indiedev working on Ghost Villa http://s.team/a/2902780
and Arctico http://s.team/a/325210
BirdiBirdson @birdibirdson.bsky.social 🎮Game making
🖌️Pixelart
https://birdibirdson.itch.io/
Brendan Steppig @looloopaa.bsky.social Lead Pixel artist for the indie game dev team Colorgrave. Currently working on "Curse Chapter: Dawnthief"!
You can check out all the games I've worked on here:
https://store.steampowered.com/developer/colorgrave
Flux @fluxdev.bsky.social Software Engineer, UK 🇬🇧
Making small horror projects, web dev projects and Godot tutorials (Eventually)
rasterrouser || making 'Rat Trap'! @rasterrouser.bsky.social 'Squash & Stretch' Games || Beau from Aus || developing Rat Trap! || can't read DM's sorry || Download FREE microvania (labelled 'demo'), wishlist or make contact here >> https://rattrap.carrd.co/
Cosmic Hat Games @cosmichatgames.bsky.social Just two aspiring indie game creators doing our best. Currently making Duels of Fortune!
Discord: http://discord.gg/R5vVYyR
Contact: cosmichatgames@gmail.com
tobyfox @tobyfox.undertale.com chicken
Cory Without An E @glovine.bsky.social Hobbyist game dev, Magic player, father
Survivesmith - Wishlist now on Steam! (Link in bio) @theredmarkdev.bsky.social Self-taught Unity developer.
Currently developing Survivesmith: A 2D reverse-bullet-hell, rogue-lite game with a twist with loadouts & crafting.
Wishlist link (Steam) : https://store.steampowered.com/app/3540570/Survivesmith/
Radnyx @radnyx.bsky.social Wishlist Lil Guys on Steam!
A game about lil guys building castles and fighting monsters.
https://store.steampowered.com/app/2636800/Lil_Guys/
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/
Space @redditspaceviewes.bsky.social Welcome,this account is devoted high-quality image of space,sharing quality astrophotography science &Technology
Julia Evans @b0rk.jvns.ca programming and exclamation marks
blog: jvns.ca
zines: wizardzines.com
amos @fasterthanli.me hi, I'm amos! 🍃 they/them 🔮 "most level-headed AI user" 🫐 working on something dataflow-shaped 🦀 known for teaching rust and not much else
📚 https://fasterthanli.me
📺 https://youtube.com/@fasterthanlime
Randall Munroe @xkcd.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.
Alexis King @lexi-lambda.bsky.social computers can be understood • she/her, ⚢ • Chicago
Hillel @hillelwayne.com Developer educator at @antithesis.com. Formal methods, software history, chocolatiering. DMs open. *Logic for Programmers* now out! https://logicforprogrammers.com
Newsletter: https://buttondown.email/hillelwayne/
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.
Michelle Mills Strout @michelle-strout.bsky.social Distinguished Technologist at HPE
Adjunct Faculty at University of Arizona
I work in High Performance Computing (HPC) and Programming Languages. I like making science work on parallel systems of all kinds, including GPUs, using Chapel (chapel-lang.org).
Brad Chamberlain @bradcray.bsky.social Avid proponent of making HPC users more productive while making parallel computing more accessible to everyone. Founding member and technical lead of the Chapel Programming Language project (https://chapel-lang.org). Distinguished Technologist at HPE.
@mppf.bsky.social @mppf.bsky.social My goal: make parallel programming easier for everybody. Compiler developer for the Chapel programming language for productive parallel programming ( https://chapel-lang.org/ ).
Also https://github.com/femto-dev/femto
I work at HPE. He/him. OSS.
@drsutherland.bsky.social @drsutherland.bsky.social 
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app