×
You are not logged in
Bluesky Followers
Zixian Cai
Followers of @zcai.org
Ram
Registered:26 Jan 2026 21:36
IIT Madras BS Data Science
Learning AI, ML & Data Science fundamentals
Research-focused | Drones & hardware systems
Akhil 🚀
Registered:26 Apr 2023 12:37
tulluri.me | Software Engineer | Distributed Systems, Databases, Operating Systems
Apoorv
Registered:23 Aug 2023 15:53
Type systems for Programming Languages.
(Ret.) SIGPLAN conf AV/Virtualization
cs.uiowa.edu/~aningle
Stefan Abi-Karam
Registered:21 Oct 2024 03:02
Graduate Student (@SharcLab) + Research Faculty at @GeorgiaTech 🐝
Working on digital hardware design + AI
https://stefanabikaram.com/
Fabian Muehlboeck
Registered:17 Nov 2024 23:57
Programming Language Researcher at the Australian National University
Adrian Sampson
Registered:24 Mar 2023 19:02
actually just on Mastodon: https://discuss.systems/@adria...
KC Sivaramakrishnan
Registered:14 Nov 2024 13:41
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
ahuoguo.bsky.social
Registered:2 Dec 2024 19:48
Tony Sloane
Registered:1 Dec 2024 06:45
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/@inky...
Manu Sridharan
Registered:11 Sep 2024 19:01
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Liam O'Connor
Registered:5 Jan 2024 12:59
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
Registered:26 Jun 2023 13:14
Where are my types, I can't see without my types!
PhD student @tuberlin.bsky.social
https://ipv3.org
Ask me about EGraphs, Compilers, GPU-Computing, and Rust
SIGPLAN AV Member
Opinions are those of your pet
Adrian Herrera
Registered:31 Oct 2023 00:46
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
