Followers
@electriclam.comKiran @kirancodes.me Programming Languages Researcher; in NYC https://kirancodes.me
Thomas Porter @thomjp.bsky.social PhD Student at the University of Michigan ❦ thomasporter522.github.io
@ahuoguo.bsky.social @ahuoguo.bsky.social
- W Chentian Wu @wuct.bsky.social 26’ Math & CS undergrad @ UW-Madison PL / Logic / Cat Theory 🐈 https://wuct.site Applying for PhD starting from 2026 Fall
Sai Divvela @sdivvela.bsky.social Undergraduate at UMD, interested in PL, systems, and security and all things in their intersection :) also avid manga reader, cat lover, and occasional gamer
ru ding ware @nvyx.bsky.social I cannot see any DMs because i am in australia. Thank you albo
Chris Martens @chrisamaphone.bsky.social mostly not here, but there: https://hci.social/@chrisamaphone
Ernest Ng @ngernest2.bsky.social PL/Systems PhD student at Cornell ngernest.github.io
Stephanie Weirich @fancytypes.bsky.social Tell me about types
Jessica Shi @jwshi.bsky.social PhD student at Penn.
- K @kubaneko.bsky.social @kubaneko.bsky.social master student at Chalmers something something proof assistants
Dipesh @dipeshhh.bsky.social Interested in Programming Languages and Systems.
- Y Yining Zhang @yining.me PhD student @vtcomputerscience.bsky.social
Joe Cutler @alphaconvert.bsky.social cutler.pl
ionchy @ionchy.ca it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 I inherited https://types.pl ⍼ https://ionathan.ch