Lightnews — Scholar-powered news

Ilya Sergey @ilyasergey.bsky.social · 16m

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

2

Ilya Sergey @ilyasergey.bsky.social · 1d

I might drop by.

1 1

Ilya Sergey @ilyasergey.bsky.social · 4d

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 · 6d

@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 · 5d

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 8

Ilya Sergey @ilyasergey.bsky.social · 10d

And your point is?

Ilya Sergey @ilyasergey.bsky.social · 13d

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 · 13d

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 · 16d

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 · 21d

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 · 22d

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 · 24d

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

Reposted by Ilya Sergey

Manuel Rigger @mrigger.bsky.social · Aug 25

I will be organizing two nature walks for ICFP/SPLASH (‪@icfp-conference.bsky.social‬)! I did one of them this weekend and was very lucky to see 11 saltwater crocodiles (including a tiny baby one), countless monitor lizards, otters, macaques, fruit bats, various kinds of birds, and fish.

1 1 7

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · Aug 25

ICFP/SPLASH goers -- looking to escape into the wild for a moment?

Come join one of these two planned hikes (courtesy of @mrigger.bsky.social)!

First through the central reserve, and second through the wetlands:
2025.splashcon.org/attending/ou...

Outdoor Activities - SPLASH 2025

Announcements The registration is now open. Early Registration deadline: 31 August 2025. Read the travel information page for information about visas, accommodation, and travel tips. Check out our Ex...

2025.splashcon.org

1 2

Reposted by Ilya Sergey

Stefan Marr @stefan-marr.de · Aug 24

Already registered for SPLASH or @icfp-conference.bsky.social?

If not, check out our list of accepted papers:

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

It's language implementation techniques, from debugging and JIT compiling on microcontrollers to visualizing execution patterns between CPU and GPU!

MPLR 2025 - ICFP/SPLASH 2025

The 22nd International Conference on Managed Programming Languages and Runtimes (MPLR 2025, formerly ManLang, originally PPPJ) is a premier forum for presenting and discussing novel results in all asp...

conf.researchr.org

5 6

Ilya Sergey @ilyasergey.bsky.social · Aug 20

Do it for science!

2 6 19

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · Aug 20

ICFP/SPLASH attendees: what's the first thing you're doing in Singapore this October??

my goal: try every single dish on this list 👀 👀
conf.researchr.org/attending/ic...

(courtesy of @ilyasergey.bsky.social !)

Explore Singapore - ICFP/SPLASH 2025

Announcements The registration is now open. Early Registration deadline: 31 August 2025. Read the travel information page for information about visas, accommodation, and travel tips. Check out our Ex...

conf.researchr.org

2 6

Ilya Sergey @ilyasergey.bsky.social · Aug 6

It was a pleasure to host @kcsrk.info who visited NUS earlier this week and talked about some cool systems verification projects done by his team.

6

Reposted by Ilya Sergey

ICFP Conference @icfp-conference.bsky.social · Jul 31

ICFP/SPLASH 2025 registration is open!

If you register soon, you can catch the early registration discount (by August 31).

Register for the whole 7 days and only pay for 6!

conf.researchr.org/attending/ic...

Registration - ICFP/SPLASH 2025

The registration is now open. Early Registration deadline: 31 August 2025. Welcome to the website of the joint ICFP/SPLASH 2025 conference! For the first time, the two leading SIGPLAN venues—ICFP and ...

conf.researchr.org

5 3

Ilya Sergey @ilyasergey.bsky.social · Jul 24

Moshe Vardi is Simon Peyton Jones of CAV.

3

Ilya Sergey @ilyasergey.bsky.social · Jul 20

The call for nominations for SIGPLAN Research Highlights for 2024 is open! Deadline: 15 August 2025.

Nominate your favourite paper from the last year's POPL, PLDI, ICFP, OOPSLA, PPoPP, and ASPLOS via this form:

forms.gle/mE3Qf2AJfSTN...

SIGPLAN Research Highlights nomination for 2024

SIGPLAN seeks nominations for outstanding papers to be awarded a Research Highlight distinction and recommended for consideration for the Research Highlights section in Communications of ACM. Eligibi...

forms.gle

1 3

Ilya Sergey @ilyasergey.bsky.social · Jul 11

Fun fact: if you write a paper on Separation Logic in Cursor with AI suggestions on, it start suggesting text citing papers by @herrdreyer.bsky.social.

7