Sam Lindley

@progress_sh_ @ShriramKMurthi I'm told you should be able to watch the talk remotely through teams on Monday 9th Feb at 12pm UTC here: edin.ac/4kicXTH

@ShriramKMurthi How lovely! Good luck :)

New talk abstract dropping. I just hope I can write a talk to live up to it by *checks watch* *gulp* Monday.

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-h…

@lorisdanto @docmilanfar My coauthors and I had a POPL 2017 paper that wasn't indexed by Google scholar. To be fair, it served us right for calling it "do be do be do". The only fix that worked was to publish a journal version called "doo bee doo bee doo"

@docmilanfar My student did that, but that doesn't seem to pick up the citations

Google Scholar has stopped showing one of my POPL papers randomly. Do people know how to fix this? I don't care particularly, but for my student this is his top paper and it's annoying for him

Two days¹ WebAssembly Community Group (in-person) Meeting just started. More info at github.com/WebAssembly/me… 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-2026

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/cangji…

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-exper…

@kchoudhu Exponentiation is iterated multiplication and 1 is the unit of multiplication - much like multiplication being iterated addition and 0 the unit of addition

Now that I have a child learning this: what is the intuitive explanation for -1^0 = 1?

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/icfp…

the ICFP 2025 program is coming together! Check out our list of accepted papers: #event-overview" target="_blank" rel="nofollow noopener">icfp25.sigplan.org/track/icfp-202… and we'll have three keynotes this year! icfp25.sigplan.org/track/icfp-202… ⬇️⬇️⬇️

📣 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/2474908-p…

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. youtu.be/_pKV0zqoeZQ

@__protected @danghica Not just Daan! Anton and Wouter too... and we've made a bit more progress since. Even still, I don't think this (yet!) really begins to address the kind of graph structures and algorithms that @danghica has in mind

@danghica Daan made great progress in that regard: dl.acm.org/doi/abs/10.114… dl.acm.org/doi/abs/10.114…

The elephant in the functional programming room is not computation but data structures. Functional programming gives you awesome trees. For anything else compare eg. Okasaki vs. Cormen & Leiserson and see how much harder it is to stay functional.

@aramh Both unnamed and named handlers can be useful in different settings. There are applications where the dynamic binding of classic named handlers is exactly what you want

@aramh There are plenty of other ways of supporting effect encapsulation through other sources of generativity, e.g. scoped rows + masking (as in Koka and Frank) , first-class effects (see e.g. work by de Vilhena and Pottier), or the effect instances of the original version of Eff

It's interesting that almost everyone agrees that lexical binding is better than dynamic binding for variables, but almost everyone wants dynamically-bound effect handlers.