Sam Lindley

Join conversation

It should be live on teams Monday at 12pm UTC: edin.ac/4kicXTH

YouTube video by Veritasium The Ridiculous Engineering Of The World's Most Important Machine

🤔 “The reasonable person adapts themselves to the world; the unreasonable one persists in trying to adapt the world to themselves.

Therefore, all progress depends on the unreasonable person.” — George Bernard Shaw

Proud of what my dad helped create :)

Just had a different problem. Online sellers refuse to sell off-peak single (EDB-LAN) for today. Avanti suggest buying at station. LNER machine falsely claims reservations mandatory; refuses to sell off-peak single. Scotrail machine happily sells it. Now sitting in unreserved seat (1 of many)!

OlivierFest 2025 - ICFP/SPLASH 2025 This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday. Olivier is a visionary in the field of programming languages and is well-known for h...

OlivierFest’25 is taking place on October 14-15 at ICFP/SPLASH'25 in Singapore!

A two-day celebration of Olivier Danvy's impact on PL research, with a program packed with talks on algebraic effects, semantics, interpreters, and, of course, continuations.

conf.researchr.org/home/icfp-sp...

i suddenly realised how good OCaml's effects are, because I've been writing tons of direct-style Eio code recently to do real stuff with big amounts of data without having to worry about OCaml's effects or monads or applicatives or where my exception tracebacks went

the ICFP 2025 program is coming together! Check out our list of accepted papers: icfp25.sigplan.org/track/icfp-2...

and we'll have three keynotes this year!
icfp25.sigplan.org/track/icfp-2...

⬇️⬇️⬇️

They did after I nagged them

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.

dependent-haskell/Free/FreeApplicative.hs at master · slindley/dependent-haskell Contribute to slindley/dependent-haskell development by creating an account on GitHub.

It's a while since I thought about this, but I do remember that there are several ways of phrasing it. Here are a couple that I wrote in GHC over a decade ago: github.com/slindley/dep.... No idea if this code still works in modern GHC

Finite-Choice Logic Programming | Proceedings of the ACM on Programming Languages Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model: the deductive closure of its inference rules. However, many problems call for an enumeratio...

Different hats represent different perspectives. Datalog, finite-choice, SAT on the stage. Answer Set Programming (@rg9119.bsky.social) was asking why finite-choice logic programming isn't just answer set programming dl.acm.org/doi/10.1145/...

POPL hats