It's official: ICFP 2025 will be in Singapore!!

Here is the recorded livestream of the ICFP Conference session in memory of Alan Jeffrey and his extraordinary adventure of a life: youtube.com/live/Y2tJbaiMD…

To everyone who participated in ICFP and co-located events---all our attendees, presenters, keynote speakers---thank you!! You are what makes ICFP such an incredible event. We hope you enjoyed the conference this year. See you all next year in Singapore!! 🚀

Calling all PL enthusiasts! Matthijs Vákár (Utrecht Uni) and I are organizing LAFI 2025 at #POPL2025. If you’re working on differentiable programming, inference algorithms, PL for AI, this is your venue! Submit by: Oct 30, 2024 popl25.sigplan.org/home/lafi-2025…

We are #hiring engineer interns at Cogna. These are 16 week posts working on our synthesis pipeline. Idea for research students working on code analysis, synthesis, verification, or AI for code. Experience life in an AI startup in London! linkedin.com/feed/update/ur…

This is best video I've found so far on technical contributions by Grace Hopper, especially FLOW-MATIC first go at stylised English as a programming language: youtube.com/watch?v=7KAVtZ…

Astonishing musicianship tonight by Philip Glass Ensemble at Cambridge Corn Ex Fabulous retrospective including Glassworks

I spent most of September making web sites, so that I can tell you about all the cool things happening in Prague at Matematicko-fyzikální fakulta Univerzity Karlovy around programming languages and systems! 👇PhD and post-doc opportunities, reading group, courses and much more!

This is interesting to read about the #impact of #Excel on normal people - #spreadsheets are important culturally, like the arrival of the internet. A #citizen #computing tool theguardian.com/technology/202…

Simon Peyton Jones makes an appearance. Cyrus Omar (now mainly on bsky) is there. @hgoldstein95 pops up. Type Theory Forall says hi! Andy Gordon as well. Even Yaron (Ron) Minsky! It's a jam-packed episode!

Kaya Burgess People who think bishops have lost their right to sit in the House of Lords might like to sign this petition: petition.parliament.uk/petitions/7005…

Is a great time visiting the great PLRG :: Bristol on Monday. Fascinating to hear about their latest research with LLM-based translations, provenance tracking in the Fluid language, Haskell, and much more!

Some 🎄 reminders: 📻A Festival of Nine Lessons and Carols - tomorrow 3pm BBC Radio 4 and 1pm BBC Radio 3 on Christmas Day (check American Public Media in the USA). 📺 Carols From King's - BBC Two tomorrow 6pm. #FestivalOfNineLessons #CarolsFromKings #ChristmasCarols

I am especially happy for Derek Dreyer and Nate Foster who have become ACM Fellows this years. Hugh congratulations Derek and Nate!

Church types. Do you agree with Synod’s decision on safeguarding? (Please retweet this so we get a meaningful sample.)

Highlights from the #LAFI2025 workshop at #POPL2025 in Denver, where we had an amazing program at the intersection of programming languages, probabilistic and differentiable programming, and applications! popl25.sigplan.org/home/lafi-2025

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

A fabulous interview with the inspiring Andy Gordon where he makes a compelling case for developing software from natural language prompts, something he puts into practice at Cogna. An inspiring career spanning the Haskell bind operator; lambdas in Excel; to LLMs for no-code

In this episode we learn about Andy Gordon's work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language. haskell.foundation/podcast/65/

My talk from the Haskell Ecosystem Workshop is out, and it’s already being quoted! Here, I make the case that Haskell is the best target for LLMs to generate (link below)