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
En Bluesky desde el
- Seguidores
- 600
- Siguiendo
- 239
- Posts
- 179
- Días en rankings
- 0
Resumen
Ilya Sergey (@ilyasergey.bsky.social) es un usuario de Bluesky que se unió el 20 noviembre 2024. Tiene 600 seguidores, sigue a 239 cuentas y ha publicado 179 posts.
Apariciones en rankings
Los mejores días en que los posts de esta cuenta entraron en la lista diaria de Debya.
Esta cuenta aún no ha aparecido en un ranking diario.
Posts que le gustaron recientemente
Me gusta públicos de la red 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
Cuentas que bloquea
En Bluesky los bloqueos son registros públicos.
Esta cuenta no bloquea a nadie.