Joined August 2013
- Tweets 728
- Following 277
- Followers 640
- Likes 3,017
75 Photos and videos
Sam Lindley retweeted
Feb 1
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…
2
18
113
11,729
Sam Lindley retweeted
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
2
4
2,497
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…
7
9
3,629
Sam Lindley retweeted
14 Oct 2025
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
2,769
Sam Lindley retweeted
12 Oct 2025
Wenhao explaining how to express our calculus System C with modal effect types.
1
3
18
1,046
Sam Lindley retweeted
24 Sep 2025
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_…
3
6
617
Sam Lindley retweeted
1 Sep 2025
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…
1
10
31
2,127
Sam Lindley retweeted
31 Jul 2025
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…
5
12
3,602
Sam Lindley retweeted
30 Jun 2025
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…
⬇️⬇️⬇️
1
4
15
1,437
Sam Lindley retweeted
📣 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
1
18
38
7,087
Sam Lindley retweeted
17 Jun 2025
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…
7
16
1,124
Sam Lindley retweeted
13 Jun 2025
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.
56
221
1,871
216,349
Sam Lindley retweeted
12 Jun 2025
I gave a talk on effect handler support in the Cangjie programming language.
youtu.be/_pKV0zqoeZQ
1
4
18
1,253
Sam Lindley retweeted
16 Dec 2024
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/…
5
14
784
Sam Lindley retweeted
26 Nov 2024
Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel!
youtube.com/@acmsigplan/vide…
16
32
3,432
Sam Lindley retweeted
4 Nov 2024
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…
24 Oct 2024
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!
ALT Thursday, February 27th marked on the calendar with a lambda!
8
26
3,030
Sam Lindley retweeted
24 Oct 2024
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!
ALT Thursday, February 27th marked on the calendar with a lambda!
5
16
4,563
Sam Lindley retweeted
25 Sep 2024
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!
@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: hubs.la/Q02Qn0xW0
5
12
68
8,237