Sam Lindley
@reifyreflect
Followers
636
Following
3K
Media
75
Statuses
726
Joined August 2013
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
discord.com
Discord is great for playing games and chilling with friends, or even building a worldwide community. Customize your own space to talk, play, and hang out.
0
2
4
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
0
7
8
deadline today!
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
0
2
7
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.
1
9
46
Wenhao explaining how to express our calculus System C with modal effect types.
1
3
19
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
0
3
6
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
The Merlin Team 🧙♂️ is very happy to announce an experimental version of Merlin: Merlin Domains! As a reminder, Merlin is an editor service that provides advanced IDE features for OCaml. It can be...
1
10
31
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
0
5
13
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 ⬇️⬇️⬇️
1
4
15
📣 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
1
18
38
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
huaweiuk.teamtailor.com
About Huawei Research and Development UK Limited Founded in 1987, Huawei is a leading global provider of information and communications technology (ICT) infrastructure and smart devices. We have mo...
0
7
16
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.
57
230
2K
I gave a talk on effect handler support in the Cangjie programming language. https://t.co/sIvmKF1FJZ
1
4
18
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
Bottom-up computation using trees of sublists - Volume 34
0
6
15
Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel! https://t.co/DvuOKoFcrA
youtube.com
Special Interest Group on Programming Languages The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation,...
0
16
33
ICFP'25 is calling for papers! T-minus 115 days: submission deadline is Feb 27 ✍️ ✍️ https://t.co/SOB3FEudIt This is an especially unique year to submit -- for the first time ever, ICFP will be co-located with SPLASH, in Singapore!
Mark your calendars: the ICFP'25 submission deadline will be Feb 27! The call for papers will be released soon. Check out https://t.co/fBk3zQGVmE for more important dates!
0
8
26
Mark your calendars: the ICFP'25 submission deadline will be Feb 27! The call for papers will be released soon. Check out https://t.co/fBk3zQGVmE for more important dates!
0
5
16
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
@satnam6502, Fellow at Groq, will give an SPLI Distinguished Lecture next week at the University of Edinburgh about accelerating LLMs with the Groq Language Processing Unit. More details here: https://t.co/t41RTiqtBV
5
13
69
Just a reminder that Satnam Singh will be giving an SPLI Distinguished Lecture tomorrow (26th September, 4PM) at the University of Edinburgh! Further details:
0
1
5
Our imperative language for exact real-number computation uses non-deterministic guarded choice. We implemented it using @OCamlLang 5 handlers to co-operatively thread the guard conditions in the choice construct. It was fun! https://t.co/VastPByBj3
https://t.co/cye7KZe046
arxiv.org
We introduce Clerical, a programming language for exact real-number computation that combines first-order imperative-style programming with a limit operator for computation of real numbers as...
0
10
53