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
Bluesky’a katılma tarihi:
- Takipçi
- 600
- Takip edilen
- 239
- Post
- 179
- Sıralamaya girdiği gün
- 0
Özet
Ilya Sergey (@ilyasergey.bsky.social), 20 Kasım 2024 tarihinde katılan bir Bluesky kullanıcısı. 600 takipçisi var, 239 hesabı takip ediyor ve 179 post paylaştı.
Sıralama geçmişi
Bu hesabın postlarının Debya günlük listesine girdiği en iyi günler.
Bu hesap henüz günlük sıralamaya girmedi.
Son beğendiği postlar
Bluesky ağındaki herkese açık beğeniler.
Fomo this!
Postu gösterThe 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...
Postu gösterI get it now, Australia is the Stranger Things extended universe.
Postu gösterI definitely had…feelings about some of these papers. In both directions. <-;
Postu göster
Blokladığı hesaplar
Bluesky’da bloklar herkese açık kayıtlardır.
Bu hesap kimseyi bloklamıyor.