Ilya Sergey (@ilyasergey) 's Twitter Profile
Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

ID: 16979139

linkhttp://ilyasergey.net calendar_today26-10-2008 11:23:42

3,3K Tweet

5,5K Takipçi

949 Takip Edilen

Ilya Sergey (@ilyasergey) 's Twitter Profile Photo

To attract prospective users, a programming language should have as much vitality as the programmer's brain, so we made the entire language's syntax and semantics editable and expandable by all its users, with no training and using only a phone.

Ilya Sergey (@ilyasergey) 's Twitter Profile Photo

ICFP/SPLASH'25 is starting tomorrow! Attending Sunday workshops and FARM Performance at #icfpsplash25? Make sure check out our illustrated guide on getting to NUS Conservatory and dining options on campus: conf.researchr.org/venue/icfp-spl…

Manuel Rigger (@riggermanuel) 's Twitter Profile Photo

It seems the first hike as part of ICFP Conference and SPLASH went well! A shoutout to Yibo Dong and Ningke Li (as well as my wife, Ting), who guided the participants on this walk. I could unfortunately not participate, as I had to travel abroad due to an urgent issue.