Joseph Garvin @josephhgarvin.bsky.social voicecoding latency and throughput hacker. How did I get here and what am I doing in this hand basket? he/him
Ram @ram-ds.bsky.social IIT Madras BS Data Science
Learning AI, ML & Data Science fundamentals
Research-focused | Drones & hardware systems
Akhil 🚀 @akhiltulluri.bsky.social tulluri.me | Software Engineer | Compilers, PL, Functional Programming, OCaml 🐫
Apoorv @fxdpntthm.bsky.social Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Stefan Abi-Karam @stefanabikaram.com Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝
Working on digital hardware design + AI
https://stefanabikaram.com/
Fabian Muehlboeck @fmbck.bsky.social Programming Language Researcher at the Australian National University
Adrian Sampson @samps.phd actually just on Mastodon: https://discuss.systems/@adrian
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
@ahuoguo.bsky.social @ahuoguo.bsky.social 
Tony Sloane @inkytonik.bsky.social Computer Scientist, programming addict, music lover, sports tragic.
Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle.
Opinions here are my own.
Also https://mastodon.acm.org/@inkytonik.
Manu Sridharan @manu.sridharan.net CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Liam O'Connor @liamoc.net Senior Lecturer at ANU, Ngunnawal/Ngambri Country. he/any. 한국어도 할 수 있다. I leave these posts, I do not know for whom, I no longer know what they are about.
No AI-generated content, please.
https://liamoc.net
Nicole Heinimann @saltypeppermint.bsky.social Where are my types, I can't see without my types!
https://ipv3.org
PhD student @tuberlin.bsky.social
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Adrian Herrera @adrianherrera.bsky.social Security researcher with an interest in formal methods.
B̶u̶i̶l̶d̶i̶n̶g̶ breaking things @ Interrupt Labs |
Teaching @ Australian National University
https://adrian-herrera.com
HILLSIDEKRP @hillsidekrp.bsky.social Follow My Twitch
https://twitch.tv/krpislive