İçeriğe geç

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.

  • Nikolaj@nikolajbjorner.bsky.social

    Fomo this!

    Postu göster
  • PLDI@sigplan-pldi.bsky.social

    The 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öster
  • Clément Canonne@ccanonne.github.io

    I get it now, Australia is the Stranger Things extended universe.

    Postu göster
  • Shriram Krishnamurthi@shriram.bsky.social

    I definitely had…feelings about some of these papers. In both directions. <-;

    Postu göster

Daha fazlası için üye girişi yap

Blokladığı hesaplar

Bluesky’da bloklar herkese açık kayıtlardır.

Bu hesap kimseyi bloklamıyor.