Sam Lindley

727 posts

Sam Lindley banner
Sam Lindley

Sam Lindley

@reifyreflect

Katılım Ağustos 2013
278 Takip Edilen637 Takipçiler
Sam Lindley retweetledi
Anil Madhavapeddy
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. anil.recoil.org/notes/oxcaml-h…
English
2
18
113
11.5K
Sam Lindley
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"
English
0
0
4
57
Loris D'Antoni
Loris D'Antoni@lorisdanto·
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
English
1
0
9
2.5K
Sam Lindley retweetledi
POPL 2026
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 popl26.sigplan.org/home/pepm-2026
English
0
7
8
3.5K
Sam Lindley retweetledi
Jonathan Brachthäuser
Jonathan Brachthäuser@__protected·
Wenhao explaining how to express our calculus System C with modal effect types.
Jonathan Brachthäuser tweet media
English
1
3
18
1K
Sam Lindley retweetledi
〚Dan R. Ghica〛
〚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. 🔥🔥🔥 gitcode.com/Cangjie/cangji…
English
0
3
6
599
Sam Lindley
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
English
0
0
1
29
kchoudhu
kchoudhu@kchoudhu·
Now that I have a child learning this: what is the intuitive explanation for -1^0 = 1?
English
728
96
5.4K
800.9K
Sam Lindley retweetledi
ICFP Conference
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! conf.researchr.org/attending/icfp…
English
0
5
13
3.6K
Sam Lindley retweetledi
ICFP Conference
ICFP Conference@icfp_conference·
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… ⬇️⬇️⬇️
English
1
4
15
1.4K
Sam Lindley retweetledi
〚Dan R. Ghica〛
〚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. huaweiuk.teamtailor.com/jobs/2474908-p…
English
0
7
16
1.1K
Sam Lindley retweetledi
Yaron (Ron) Minsky
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.
Yaron (Ron) Minsky tweet media
English
56
227
1.9K
215.7K
Sam Lindley
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
English
1
0
0
75
Sam Lindley
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
English
0
0
0
46
Sam Lindley
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
English
1
0
1
76
Aram Hăvărneanu
Aram Hăvărneanu@aramh·
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.
English
12
4
61
9.5K