This looks fun lcaires.github.io/fopps2026/.

Got my website running live on my zero-allocation (ish) OxCaml webserver! First of a series of posts on building out our planetary computing system infrastructure using the performance extensions in the @JaneStreetGroup fork of OCaml. anil.recoil.org/notes/oxcaml…

Two days¹ WebAssembly Community Group (in-person) Meeting just started. More info at github.com/WebAssembly/meeti… Also join Discord discord.gg/AXKa942k 1: Followed by Wasm Research Day

The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM'26), co-located with POPL'26 in Rennes, France is calling for papers! Submission deadline: Friday 24 Oct 2025 popl26.sigplan.org/home/pepm…

Incredibly excited to be hosting @icfp_conference 2026 at @IUIndianapolis! Can't wait to welcome everyone from my favorite community next year. Thanks to @IULuddy for their support in making this happen.

Wenhao explaining how to express our calculus System C with modal effect types.

I have mentioned several times in the past that the Cangjie programming language will have effect handlers, and now they have finally been pushed into the open source release. 🔥🔥🔥 gitcode.com/Cangjie/cangjie_…

Super fancy use of effect handlers and domains to speed up Merlin, the editor service that provides advanced IDE features for OCaml: discuss.ocaml.org/t/ann-an-e…

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…

the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icf… and we'll have three keynotes this year! icfp25.sigplan.org/track/icf… ⬇️⬇️⬇️

📣 We’re hiring for Kotlin/Wasm! Excited about Kotlin and WebAssembly? So are we. Join our team to work on innovative tech that’s changing how web apps are built. Apply now ⤵️ kotl.in/wasm-apply Repost appreciated! 🙌 #Kotlin #WebAssembly #Wasm #Hiring #DevJobs

Hiring Prog Lang Principal Research Engineer in Edinburgh office: effect handlers, effect types, safe concurrency, ownership types, actors/active objects, distributed computing, compilers. Apply now. huaweiuk.teamtailor.com/jobs…

I'm pleased to announce OxCaml! OxCaml is Jane Street's branch of OCaml. We've given it a new name and a snazzy logo, and done a bunch of work to make it easy for people to try.

I gave a talk on effect handler support in the Cangjie programming language. piped.video/_pKV0zqoeZQ

Have a read of Shin-Cheng Mu's beautiful functional pearl on deriving an algorithm for bottom-up computation using trees of sublists: cambridge.org/core/journals/…

Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel! piped.video/@acmsigplan/vide…

ICFP'25 is calling for papers! T-minus 115 days: submission deadline is Feb 27 ✍️ ✍️ icfp25.sigplan.org/track/icf… This is an especially unique year to submit -- for the first time ever, ICFP will be co-located with SPLASH, in Singapore! conf.researchr.org/home/icfp…

Mark your calendars: the ICFP'25 submission deadline will be Feb 27! The call for papers will be released soon. Check out icfp25.sigplan.org/track/icf… for more important dates!

If you are in the Edinburgh area on Thursday feel free to crash my talk aimed at a wide audience about how we implement and deploy large language models at @GroqInc, including quotes I got from @JeffDean and @clattner_llvm specifically for this presentation. You'll also get a glimpse of some dependently-typed programming in #Haskell!