Sam Lindley (@reifyreflect) 's Twitter Profile
Sam Lindley

@reifyreflect

ID: 1707747048

calendar_today28-08-2013 17:01:33

708 Tweet

631 Followers

278 Following

Satnam Singh (@satnam6502) 's Twitter Profile Photo

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 Groq Inc, including quotes I got from Jeff Dean and Chris Lattner specifically for this presentation. You'll also get a

Scottish Programming Languages Institute (@scottish_pli) 's Twitter Profile Photo

Just a reminder that Satnam Singh will be giving an SPLI Distinguished Lecture tomorrow (26th September, 4PM) at the University of Edinburgh! Further details: spli.scot/content/events…

ICFP Conference (@icfp_conference) 's Twitter Profile Photo

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/icfp-202… for more important dates!

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/icfp-202… for more important dates!
ICFP Conference (@icfp_conference) 's Twitter Profile Photo

ICFP'25 is calling for papers! T-minus 115 days: submission deadline is Feb 27 ✍️ ✍️ icfp25.sigplan.org/track/icfp-202… 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-spla…

Journal of Functional Programming (@cup_jfp) 's Twitter Profile Photo

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/…

Yaron (Ron) Minsky (@yminsky) 's Twitter Profile Photo

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.

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) 's Twitter Profile Photo

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…

zalim (kotlin wasm compiler webassembly VM) (@bashorov) 's Twitter Profile Photo

📣 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

ICFP Conference (@icfp_conference) 's Twitter Profile Photo

the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icfp-202… and we'll have three keynotes this year! icfp25.sigplan.org/track/icfp-202… ⬇️⬇️⬇️

ICFP Conference (@icfp_conference) 's Twitter Profile Photo

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…

KC Sivaramakrishnan (@kc_srk) 's Twitter Profile Photo

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-exper…

〚Dan R. Ghica〛 (@danghica) 's Twitter Profile Photo

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…

POPL 2025 (@poplconf) 's Twitter Profile Photo

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

Sam Tobin-Hochstadt (@samth) 's Twitter Profile Photo

Incredibly excited to be hosting ICFP Conference 2026 at IU Indianapolis! Can't wait to welcome everyone from my favorite community next year. Thanks to IU Luddy for their support in making this happen.

Incredibly excited to be hosting <a href="/icfp_conference/">ICFP Conference</a> 2026 at <a href="/IUIndianapolis/">IU Indianapolis</a>! Can't wait to welcome everyone from my favorite community next year. Thanks to <a href="/IULuddy/">IU Luddy</a> for their support in making this happen.
zalim (kotlin wasm compiler webassembly VM) (@bashorov) 's Twitter Profile Photo

Two days¹ WebAssembly Community Group (in-person) Meeting just started. More info at github.com/WebAssembly/me… Also join Discord discord.gg/AXKa942k 1: Followed by Wasm Research Day

Anil Madhavapeddy (@avsm) 's Twitter Profile Photo

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 Jane Street fork of OCaml. anil.recoil.org/notes/oxcaml-h…