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.

Pet peeve: academics who communicate with their academic peers through their personal assistants.

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…

ICFP/SPLASH is starting now!! See you all at NUS today! #icfpsplash25

Had an amazing time co-hosting the first hike for the #OOPSLA2025 outdoor track with Ningke! Nice to meet so many interesting people and the cute colugos! Wonderful to connect with the community! #oopsla #hiking #conference

fantastic advice, insights, and reflections from the panelists at the PLMW career panel #icfpsplash25

Lots of folks in the OxCaml tutorial! #icfpsplash25

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.

FARM Performance is about to start! #icfpsplash25

The tunes of Rocq’n’Roll.

Vibes at ICFP. Satnam Singh kicking us off!

Satnam Singh Satnam Singh takes the stage for our first keynote: Functional Programming and Hardware Design

Verse lab at #icfpsplash25