1/8 We are pleased to announce the release of Flix 0.58.0! This major release adds support for LSP and significantly improves the performance of type inference.

Believe in Ukraine. Stand with Ukraine. Glory to Ukraine!

Prime Minister Mette Frederiksen: "Dear @ZelenskyyUA, Denmark proudly stands with Ukraine and the Ukrainian people."

Round 2 of the #OOPSLA2025 paper submission deadline is approaching soon. Looking forward to all your submissions and re-submissions! 📷 25th March 2025 2025.splashcon.org/track/OOPSLA

I am legitimately excited about Flix & Effekt, as I think there's a great future for algebraic effects. The notion of exceptions that bypass the typesystem is liquid cancer, and AEs are a way to a) do something like that properly b) generalize it for more utility

🔥 New languages, bold ideas! At #LambdaDays 2025, explore flix , built around effect-oriented programming, and Yolc For Ethereum a safe & expressive Haskell-embedded language for Ethereum smart contracts. Two speakers. Two talks. Two visions of the future. hellwolf

A few thoughts on AI and education, from someone who uses AI and also teaches many levels of student. 1. Most importantly, it's not possible to know what will happen because no one knows what skills AI will or will not replace in the next few years.

When writing research paper reviews, I used to spend a lot of time ensuring that my review did not have any typos or grammar issues. Now, in the age of LLMs, I no longer do that so the paper authors can see that the review was written by a human.

🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring! If you’re interested in working with me, feel free to reach out.

Cannot make it to Prague for ‹Programming› 2025? 🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online! 👉 Keep an eye on: 2025.programming-conference.org

Thrilled that our ECOOP 2005 paper "Type Inference for Javascript" got this year's ECOOP Test-of-Time Award. Thank you co-authors Christopher Anderson and Paola Giannini ( Paola Giannini ). Thank you to ECOOP and the Awards team. 2025.ecoop.org/track/ecoop-20….

Martin Odersky talking about making capabilities convenient and safe at #LambdaDays2025

Just finished my first Lambda Days in Krakow. Great experience! - thanks to the organizers for putting it together.

🔥 take: Functional programming isn't really about mathematical functions, but input-output black-box procedures. It can't answer perfectly cogent questions like "for which x values is f(x) = 3"? 🌶️ take: Logic programming _can_ answer these questions. LP is the real FP.

🎥 A present from Lambda Days to start the week! New Keynote video released! Evan Czaplicki, creator of Elm, shares ideas on how we really get functional languages adopted in industry: from business concerns to collaboration across the stack. 💡 Watch “Rethinking our Adoption Strategy”:

Many programmers would love to use "productivity languages" like Elm, but what about the business person who often makes the final decision? How can we rethink our strategies such that authors, developers, and businesses grow stronger together? 🔄 youtu.be/YPAaUFGrlEE

Please share: We are looking for a new PhD student for the exciting project “Foundations of secure resource sharing” – read more here: phd.nat.au.dk/for-applicants…

This should be fun!

Do you agree that OOPSLA and ICFP are top-tier PL venues? github.com/emeryberger/CS…

I am happy to see that our VLDB '25 paper, "Datalog with First-Class Facts," will be presented in London this September--I believe with Thomas Gilray giving the talk!