@hbomberguy.bsky.social
🖥️ Gaming Youtuber, Media Critic, Philosopher King 🤴 💙 Patreon.com/Hbomb 📩 Enquiries to contact@hbomb.zone
@bsquiklehausen.com
I make stuff for transit and trains, but not only for transit and trains. 🚰 Oakland, CA, ex-NYC he/him or they/them
@invalidname.me
I write, stream, and code stuff. I also raise children and sometimes clean things. Working on docs for 🍏. He/Him/His. Also https://mastodon.social/@invalidname (follow via BridgyFed for BlueSky: @invalidname.mastodon.social.ap.brid.gy)
@annaecook.bsky.social
🩵 Queer neurodivergent bog hag 💻 Award winning designer at Microsoft ♿️ Accessibility + inclusive design specialist 🌊 She/they in Seattle
@chriscowdery.bsky.social
Notes Software Engineer. Father to four. Outdoor appreciator and enthusiast.
@liss.bsky.social
A man of occasionally refined taste and usually coarse language. Based in Richmond, Virginia, USA.
@siracusa.social
Programmer, tech writer, and co-host of Accidental Tech Podcast, Reconcilable Differences, and Robot or Not. https://hypercritical.co
@edzitron.com
British, But In Las Vegas and NYC ezitron.76 Sig Newsletter - wheresyoured.at https://linktr.ee/betteroffline - podcast w/ iheartradio Columnist at Business Insider - https://www.businessinsider.com/author/ed-zitron CEO at EZPR.com - Award-Winning Tech PR
@alexdiboine.bsky.social
He/him, Concept artist, visdev artist - Website : http://cargocollective.com/Adiboine/ For professional inquires email me at experdivolution@gmail
@alice.mosphere.at
📍 london 🦋 emojistats.bsky.sh | 🏷️ https://labeler-starter-kit.bsky.sh | 🟩 https://bluesky-heatmap.fly.dev 🪄 @sortinghat.bsky.sh 🌌 @zodiacsigns.bsky.sh 🧩 @mbti.bsky.sh 🎤 @eras.bsky.sh ✅ @a.rnbw.ca 🤖 @songofsongsbot.bsky.social
@sunshowers.io
(gender)queer transsexual / they/them menace / eng @oxide.computer / atheist and scientific humanist / 🦀 #rustlang / https://sunshowers.io also on mastodon: @rain@hachyderm.io / https://hachyderm.io/@rain
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@taliaringer.bsky.social
@shriram.bsky.social
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.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@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/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat