@reifyreflect
Joined August 2013
  • Tweets728
  • Following277
  • Followers638
75Media
Sam Lindley retweeted
KC Sivaramakrishnan@kc_srkMay 7
This looks fun lcaires.github.io/fopps2026/.
1
4
30
1,510
Sam Lindley retweeted
Anil Madhavapeddy
@avsmFeb 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…

My (very) fast zero-allocation webserver using OxCaml

Building httpz, a high-performance HTTP/1.1 parser with zero heap allocation using OxCaml's unboxed types, local allocations, and mutable local variables.

anil.recoil.org
2
18
1
114
11,812
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

meetings/main/2025/CG-10.md at main · WebAssembly/meetings

WebAssembly meetings (VC or in-person), agendas, and notes - WebAssembly/meetings

github.com
2
4
2,558
Sam Lindley retweeted
POPL 2027@poplconf8 Oct 2025
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
1
9
3,738
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,791
Wenhao explaining how to express our calculus System C with modal effect types.
1
3
18
1,053
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
623
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…

[ANN] An experimental branch of Merlin based on Domains and Effects

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

discuss.ocaml.org
1
10
31
2,132
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,626
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,444
📣 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
2
38
7,124
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,128
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.
55
218
34
1,853
216,862
I gave a talk on effect handler support in the Cangjie programming language. youtu.be/_pKV0zqoeZQ
1
4
18
1,258
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/…

Bottom-up computation using trees of sublists | Journal of Functional Programming | Cambridge Core

Bottom-up computation using trees of sublists - Volume 34

cambridge.org
5
14
787
Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel! youtube.com/@acmsigplan/vide…

ACM SIGPLAN

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

youtube.com
16
32
3,436
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…
ICFP Conference@icfp_conference24 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!
Thursday, February 27th marked on the calendar with a lambda!

ALT Thursday, February 27th marked on the calendar with a lambda!

8
26
3,075
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!
Thursday, February 27th marked on the calendar with a lambda!

ALT Thursday, February 27th marked on the calendar with a lambda!

5
1
16
4,637
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!
Groq
@GroqLLC19 Sep 2024
Replying to @satnam6502
@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
65
8,241
Load more