Daniel
I love Computer Science (especially programming languages, compilers and formal verification). I work on the Chapel programming language.
@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
Currently making Chrysalis, a roguelike nature-defense game: https://store.steampowered.com/app/1594210 Made by @alexyoder.music #gamedev / #pixelart / #indiegame / #solodev
@drd.dev
🎮 #gameDev making playdate stuff. // CURRENT PROJECT #HELLEVATOR 🛗 // LINKS 🌐 https://drd.dev | 🕹️ https://drd-dev.itch.io // OTHER INTERESTS 🍳 #Cooking 🥾 #Hiking 🌲 #Nature 🪱 #DUNE
@sidralgames.bsky.social
indie game makers sidralgames.itch.io El Gancho 🦖💫 developing HYPERWIRED 🔌🚀 Wishlist! 🔌🚀 https://store.steampowered.com/app/3234850/HYPERWIRED/
@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 dinosaurs in here
@rxbeetle.itch.io
Part-time game dev, full-time liver failure - “70% of my body is made of insects” (the other 30% IS BILE) SFW only 👍👍
@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. Hoping for early access or play testing in Q4 2025. Steam page coming soon.
@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
@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)
@jasonhartline.bsky.social
Professor at Northwestern CS. Economics, by courtesy. Study mechanism design, economics of algorithms, regulation of algorithms, AI and society. https://sites.northwestern.edu/hartline/
@sophie.huiberts.me
linear programming enthusiast. investigator of evil science. haunted by beans. she/her
@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.
@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
@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)
@henryyuen.bsky.social
Complexity, in all its forms. Associate Professor of Computer Science at Columbia University. http://www.henryyuen.net
@hatami.bsky.social
@gautamkamath.com
Assistant Prof of CS at the University of Waterloo, Faculty and Canada CIFAR AI Chair at the Vector Institute. Joining NYU Courant in September 2025. Co-EiC of TMLR. My group is The Salon. Privacy, robustness, machine learning. http://www.gautamkamath.com
@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.
@thesasho.bsky.social
Associate professor at U of Toronto. Computer science and math research: (differentially) private data analysis, geometry, discrepancy, optimization.
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/
@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
@thejonullman.bsky.social
Associate Professor of Computer Science at Northeastern University in Boston. Dad. Imposter.
@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/
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@womeninlogic.bsky.social
Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/
@bouldertheory.bsky.social
Computer science theory group at the University of Colorado Boulder https://www.colorado.edu/cs-theory/
@graemesmith.bsky.social
Theorist in Waterloo. Quantum information, quantum computing, science, parenting. https://gsbsmith.ca
@johannamath.bsky.social
Math prof at Hofstra. Logician, fan of the laws of probability & randomness, & mathematical crafter. All opinions my own. She/her/hers.
@ericaklarreich.bsky.social
Mathematics and science journalist. My work has appeared in Quanta, Nature, The Atlantic, New Scientist, Science News and other publications.
@ohmygoedel.bsky.social
She laughs as reason and delusion proceed to tear your soul apart 🎶 📍 BSB/VIX Brazil ✍️ Logics, Maths, and Theoretical CS 🐈⬛ Cats ⚛️ Progressive, Nontheist
@arxiv-cs-cc.bsky.social
Computer Science -- Computational Complexity (cs.CC) source: https://export.arxiv.org/rss/cs.CC maintainer: @tmaehara.bsky.social
@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.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.
@quantamagazine.bsky.social
Illuminating math and science. Supported by the Simons Foundation. 2022 Pulitzer Prize in Explanatory Reporting. www.quantamagazine.org
@benbenbrubaker.bsky.social
Staff writer @quantamagazine.bsky.social covering computer science. Formerly freelance physics writer (Quanta, SciAm, Physics Today, elsewhere), ex-physicist. [Obligatory disclaimer about views being my own.]
@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/
@fedeadolfi.bsky.social
Computation & Complexity | AI Interpretability | Meta-theory | Computational Cognitive Science https://fedeadolfi.github.io
@prahladh.bsky.social
Computer Scientist, Mathematician, Dancer, Uncle https://www.tcs.tifr.res.in/~prahladh/
@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
@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-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 🧩, 🥾,🎨 Organizing for democracy.🗽 www.rlaw.me
@harrowing.bsky.social