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

Bei Bluesky seit 20 November 2024

Follower: 600
Folgt: 239
Posts: 179
Tage in Ranglisten: 0

Zusammenfassung

Ilya Sergey (@ilyasergey.bsky.social) ist seit 20 November 2024 auf Bluesky. Das Konto hat 600 Follower, folgt 239 Konten und hat 179 Posts veröffentlicht.

Ranglisten-Platzierungen

Die besten Tage, an denen Posts dieses Kontos in Debyas Tagesliste kamen.

Dieses Konto war noch in keiner Tagesrangliste.

Zuletzt gelikte Posts

Öffentliche Likes aus dem Bluesky-Netzwerk.

Nikolaj@nikolajbjorner.bsky.social06.10.2026 02:56
Fomo this!
Post anzeigen
PLDI@sigplan-pldi.bsky.social17.06.2026 21:02
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...
Post anzeigen
Clément Canonne@ccanonne.github.io19.03.2026 12:23
I get it now, Australia is the Stranger Things extended universe.
Post anzeigen
Shriram Krishnamurthi@shriram.bsky.social18.03.2026 16:19
I definitely had…feelings about some of these papers. In both directions. <-;
Post anzeigen

Melde dich an, um mehr zu sehen

Blockierte Konten

Blockierungen sind auf Bluesky öffentlich.

Dieses Konto blockiert niemanden.