Sam Lindley

[KC Sivaramakrishnan @kc_srk]

This looks fun https://t.co/4RoUEGloSH.

[Sam Lindley @reifyreflect]

@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: https://t.co/KktdCzUvgA

[Anil Madhavapeddy @avsm]

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. https://t.co/tqApkHjozV

[Sam Lindley @reifyreflect]

@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"

[zalim (kotlin wasm compiler webassembly VM) @bashorov]

Two days¹ WebAssembly Community Group (in-person) Meeting just started.

More info at https://t.co/hJzzGRwv4Y

Also join Discord https://t.co/Tak8xrewyF

1: Followed by Wasm Research Day

[POPL 2026 @poplconf]

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

https://t.co/HxXVHn3ptC

[Sam Tobin-Hochstadt @samth]

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.

[Jonathan Brachthäuser @__protected]

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

[〚Dan R. Ghica〛 @danghica]

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

https://t.co/JkCXbWEIFF

[KC Sivaramakrishnan @kc_srk]

Super fancy use of effect handlers and domains to speed up Merlin, the editor service that provides advanced IDE features for OCaml: https://t.co/aw3wcfKcPT

[Sam Lindley @reifyreflect]

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

[ICFP Conference @icfp_conference]

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!

https://t.co/QB9TKM6HCq

[ICFP Conference @icfp_conference]

the ICFP 2025 program is coming together! Check out our list of accepted papers: https://t.co/Pla60fst6b

and we'll have three keynotes this year!
https://t.co/oKXVeeNIeC

⬇️⬇️⬇️

[zalim (kotlin wasm compiler webassembly VM) @bashorov]

📣 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 ⤵️
https://t.co/CYME1wp9or

Repost appreciated! 🙌

#Kotlin #WebAssembly #Wasm #Hiring #DevJobs

[〚Dan R. Ghica〛 @danghica]

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.

https://t.co/dLf4PIDOIj

[Yaron (Ron) Minsky @yminsky]

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.

[〚Dan R. Ghica〛 @danghica]

I gave a talk on effect handler support in the Cangjie programming language.

https://t.co/sIvmKF1FJZ

[Sam Lindley @reifyreflect]

@__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

[Sam Lindley @reifyreflect]

@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

[Sam Lindley @reifyreflect]

@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