@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@dpiponi.bsky.social
Disclaimer: My opinions are not my own. They're beamed to me by aliens.
@kirshanthans.bsky.social
Assistant Professor at Virginia Tech || Compilers, Programming Languages, and HPC || https://kirshanthans.github.io
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@taliaringer.bsky.social
@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.
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@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
@lauritzthamsen.org
Computer systems faculty at Glasgow, driving research on resource-efficient and carbon-aware distributed computing systems, @glasgowc3lab.bsky.social, lauritzthamsen.org ☁️💻🌱
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@flippac.bsky.social
Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Electronic music nerd. Autistic af. Plays lots of games in all the spare time that's no use for anything else. (she/her)
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@sankhs.com
Assistant Prof @ University of Kansas| 🔧 programming languages / type systems / synthesis | https://sankhs.com
@michaelmoore.ai
#AI, #Cybersecurity, and other technology topics. Trying to make the world a better place. Personal account; my views only. Work: https://s1.ai/purple at @sentinelone.com
@dfeldman.org
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@azhenley.bsky.social
Associate Teaching Professor at Carnegie Mellon University⚡️AI and developer tools⚡️ex startup, ex Microsoft https://austinhenley.com/
@clegoues.bsky.social
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
@poorvagarg.bsky.social
Working on Probabilistic Programming Languages https://web.cs.ucla.edu/~poorvagarg/
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@designresearch.works
Advocate for using Design Research to explore emerging perspectives on AI, more-than-human matters, and… pretty much anything. Watch a film about it here: https://designresearch.works/permission-to-muck-about Was @joegalen on ‘ex’ platform
@dangrossmanseattle.bsky.social
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@hn100.bsky.social
A bot that posts the Hacker News Top 100. Not affiliated in any way with Hacker News or YCombinator.
@caseynewton.bsky.social
Email salesman at Platformer.news and podcast co-host at Hard Fork.
@pkrugman.bsky.social
@xkcd.com
@dril.bsky.social
Never Bullshit I challenge any and every one who wants to kick my ass to a debate . https://www.patreon.com/dril https://www.instagram.com/dril_real https://linktr.ee/drilreal
@kenwhite.bsky.social
Ken White, criminal defense attorney and First Amendment litigator. Co-host of Serious Trouble podcast and writer at The Popehat Report. Signal: KenWhite.1969