You are not logged in
Bluesky Followers
@
Yiyun Liu
@electriclam.com
19 followers, 13 follows, 0 posts
Followers of @electriclam.com
ahuoguo.bsky.social
@ahuoguo.bsky.social
27 followers, 96 follows, 1 posts
Registered:2 Dec 2024 19:48
Chentian Wu
@wuct.bsky.social
8 followers, 77 follows, 0 posts
Registered:14 Apr 2024 15:43
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
248 followers, 371 follows, 56 posts
Registered:3 Jan 2025 19:22
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
66 followers, 151 follows, 185 posts
Registered:27 Jul 2023 11:10
I cannot see any DMs because i am in australia. Thank you albo
Chris Martens
@chrisamaphone.bsky.social
152 followers, 189 follows, 59 posts
Registered:27 Jan 2025 15:51
mostly not here, but there: https://hci.social/@chrisamaph...
Ernest Ng
@ngernest2.bsky.social
112 followers, 241 follows, 2 posts
Registered:18 Jan 2025 16:28
PL/Systems PhD student at Cornell ngernest.github.io
Stephanie Weirich
@fancytypes.bsky.social
166 followers, 111 follows, 3 posts
Registered:17 Jan 2025 12:04
Tell me about types
Jessica Shi
@jwshi.bsky.social
38 followers, 44 follows, 3 posts
Registered:23 Nov 2024 16:35
PhD student at Penn.
kubaneko.bsky.social
@kubaneko.bsky.social
73 followers, 270 follows, 0 posts
Registered:28 Dec 2024 08:31
master student at Chalmers something something proof assistants
Dipesh
@dipeshhh.bsky.social
78 followers, 318 follows, 20 posts
Registered:19 Oct 2024 01:24
Interested in Programming Languages and Systems.
Yining Zhang
@yining.me
27 followers, 226 follows, 3 posts
Registered:7 Feb 2024 02:27
PhD student @vtcomputerscience.bsky.social
Joe Cutler
@alphaconvert.bsky.social
1,211 followers, 226 follows, 300 posts
Registered:27 Apr 2023 16:57
cutler.pl
ionchy
@ionchy.ca
778 followers, 285 follows, 1,459 posts
Registered:11 Apr 2023 16:17
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️‍🌈 https://ionathan.ch