Ilya Sergey
@ilyasergey.bsky.social did:plc:hhj5w573hz3txjb3uyllfw5e
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
No Bluesky desde
- Seguidores
- 600
- Seguindo
- 239
- Posts
- 179
- Dias nos rankings
- 0
Resumo
Ilya Sergey (@ilyasergey.bsky.social) é um usuário do Bluesky desde 20 novembro 2024. Tem 600 seguidores, segue 239 contas e publicou 179 posts.
Aparições nos rankings
Os melhores dias em que posts desta conta entraram na lista diária do Debya.
Esta conta ainda não apareceu em um ranking diário.
Posts curtidos recentemente
Curtidas públicas da rede Bluesky.
Fomo this!
Ver postThe views from Monday/Tuesday's Chautauqua hikes were unreal! Missed them? Don't worry #PLDI2026's social week is just getting started! We have Bands on the Bricks tonight, tea at Dushanbe tomorrow, and one more hike Friday. See you there! 🏔️ pldi26.sigplan.org/track/pldi-2...
Ver postI get it now, Australia is the Stranger Things extended universe.
Ver postI definitely had…feelings about some of these papers. In both directions. <-;
Ver post
Contas que bloqueia
No Bluesky, bloqueios são registros públicos.
Esta conta não bloqueia ninguém.