Lightnews — Scholar-powered news

Ilya Sergey @ilyasergey.bsky.social · 2d

The tunes of Rocq’n’Roll. #icfpsplash25

2

Ilya Sergey @ilyasergey.bsky.social · 2d

FARM Performance is about to start! #icfpsplash25

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · 3d

Lots of folks in the OxCaml tutorial! #icfpsplash25

1 4

Reposted by Ilya Sergey

Ningke Li @ningkeli.bsky.social · 3d

@icfp-conference.bsky.social

Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌

Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳

2 6

Reposted by Ilya Sergey

Manuel Rigger @mrigger.bsky.social · 3d

It seems the first hike as part of @icfp-conference.bsky.social/SPLASH went well! A shoutout to @ningkeli.bsky.social and Yibo DONG (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.

Ningke Li @ningkeli.bsky.social · 3d

@icfp-conference.bsky.social

Had a nice day co-hosting the first hike of #icfpsplash25 Outdoor Activities track with Yibo🙌

Walking in the forest 🌳
Seeking special animals (monkeys🐒, lizards🦎, colugos🦇, and even a snake🐍!)
Enjoying the networking🥳

2 6

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · 3d

1st coffee break of the week

many many more to come

#icfpsplash25

1 7

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · 3d

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

Ilya Sergey @ilyasergey.bsky.social · 4d

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-s...

Venue NUS School of Computing - ICFP/SPLASH 2025

Latest Announcements If you’re planning to attend FARM Performance and have a dinner on NUS campus, please, check this illustrated guide with directions to YST Conservatory and NUS UTown food courts....

conf.researchr.org

1 4

Reposted by Ilya Sergey

Caroline Lemieux @cestlemieux.bsky.social · 4d

The UBC Software Practices Lab is heading to #icfpsplash25! 4 ICFP/OOPSLA talks, 1 SPLASH-E, 5 talks at associated workshops... check it out: www.cs.ubc.ca/news/2025/10...

UBC Computer Science makes waves at programming language conference ICFP/SPLASH

www.cs.ubc.ca

1 7

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · 4d

A beautiful day to stop in at the Singapore Botanic Gardens and the National Orchid Garden before ICFP/SPLASH! #icfpsplash25

2 3

Ilya Sergey @ilyasergey.bsky.social · 4d

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-s...

Venue NUS School of Computing - ICFP/SPLASH 2025

Latest Announcements If you’re planning to attend FARM Performance and have a dinner on NUS campus, please, check this illustrated guide with directions to YST Conservatory and NUS UTown food courts....

conf.researchr.org

3 10

Ilya Sergey @ilyasergey.bsky.social · 6d

I am thrilled to announce Velvet: a new foundational multi-modal verifier for imperative programs in Lean.

Velvet unifies execution, testing, automated and interactive proofs; and is itself proven sound.

💻 github.com/verse-lab/loom
📄 verse-lab.github.io/papers/loom-...

4 14

Ilya Sergey @ilyasergey.bsky.social · 7d

I might drop by.

1 1

Ilya Sergey @ilyasergey.bsky.social · 11d

One week until ICFP/SPLASH’25!

conf.researchr.org/home/icfp-sp...

ICFP/SPLASH 2025

Latest Announcements Information for presenters at NUS (Sunday) and at MBS (Monday-Saturday) is now available! The registration is now open. Early Registration deadline: 31 August 2025. Activities ...

conf.researchr.org

3 9

Reposted by Ilya Sergey

Tweag @tweag.io · 13d

@mathieu.social will be presenting a functional pearl "Invertible Syntax without the Tuples", joint work with Arnaud Spiwack, at Olivier Danvy's Festschrift on the Tuesday 14th. conf.researchr.org/details/icfp...

Invertible Syntax without the Tuples (Functional Pearl) (OlivierFest 2025) - ICFP/SPLASH 2025

This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday. Olivier is a visionary in the field of programming languages and is well-known for…

conf.researchr.org

1 1 1

Reposted by Ilya Sergey

Anil Madhavapeddy @anil.recoil.org · 11d

And if you’re interested in OxCaml, we have a tutorial on Sunday at ICFP walking through it conf.researchr.org/track/icfp-s... (materials will be online for anyone afterwards. Just the minor detail of finishing writing them first)

3 10

Ilya Sergey @ilyasergey.bsky.social · 16d

And your point is?

Ilya Sergey @ilyasergey.bsky.social · 19d

An opening theme from the Outlaw Star series has just randomly started playing in my head, and now I am fighting the urge to rewatch it.

1

Reposted by Ilya Sergey

Vitaly Bragilevsky @bravit.bsky.social · 20d

I’m looking for an intern to work on Rust/RustRover content creation. If you are a university student in any EU country, the UK, Serbia, or Armenia, and you are passionate about Rust and sharing your knowledge, I’d love to hear from you. Please repost to help spread the word. Links below.

1 5 7

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · 22d

T minus 3 weeks!!

I wonder how many ICFP 2025 papers I can read on the plane ride over?

1 3

Reposted by Ilya Sergey

ICFP Programming Contest 2025 @icfpcontest.bsky.social · 28d

Now that the competition is over, Adso has penned his reflections.

icfpcontest2025.github.io/afterword.pdf

We also have many team write-ups here:

icfpcontest2025.github.io/writeups.html

Please let us know if you have some to add to the list!

icfpcontest2025.github.io

1 3

Ilya Sergey @ilyasergey.bsky.social · 29d

Just visited YST Conservatory of NUS, the venue for the upcoming FARM concert at ICFP/SPLASH'25. Excited about the upcoming performance combining art, music, and creative programming!

2025.splashcon.org/track/splash...

5

Ilya Sergey @ilyasergey.bsky.social · Sep 14

OlivierFest’25 is taking place on October 14-15 at ICFP/SPLASH'25 in Singapore!

A two-day celebration of Olivier Danvy's impact on PL research, with a program packed with talks on algebraic effects, semantics, interpreters, and, of course, continuations.

conf.researchr.org/home/icfp-sp...

OlivierFest 2025 - ICFP/SPLASH 2025

This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday. Olivier is a visionary in the field of programming languages and is well-known for h...

conf.researchr.org

2 2 10

Reposted by Ilya Sergey

Derek Dreyer @herrdreyer.bsky.social · Aug 4

It's official: RTFM, the faculty mentoring workshop, is happening again, this time at POPL 2026 in Rennes. The one we had at PLDI 2024 in Copenhagen was well received, so I'm looking forward to the next edition. Stay tuned!

3 14

Ilya Sergey @ilyasergey.bsky.social · Sep 6

5

Reposted by Ilya Sergey

Patrick Vallely @pjvphotography.bsky.social · Aug 28

"Pat, why do you carry that ridiculous 600mm lens on long hikes?"

Buddy, I can see mountains reflected in the eyes of a trailside pika.

Tighter crop of the same pika, focusing on its head.

An even tighter crop, focusing more on the pika's eye.

An extremely tight crop of the pika's eye, emphasizing their reflection of an early morning mountain scene.

640 11K 43K