Posts by avsm@recoil.org
 (DIR) Post #B6H25n1RibtgHypufg by avsm@recoil.org
       1 likes, 0 repeats
       
       Aye-cfp! ICFP conditional accept!! https://anil.recoil.org/papers/2026-package-calculus will appear there, subject to (many) sensible corrections suggested by the reviewers. Congrats @ryan 🙂
       
 (DIR) Post #B6QAhupXgWGZZ6bAkS by avsm@recoil.org
       1 likes, 0 repeats
       
       So very sad to hear of the passing of Peter Neumann. He was an epic pioneer in computer science, but also such a wonderfully cheerful, supportive person at any hour. This was an example of a typical email exchange with him to grab coffee, in an age before AI. If I didn't rhyme with Peter, he wouldn't write my tenure letter, so I got straight down to rhyming! RIP after a life wonderfully lived  https://www.nytimes.com/2026/05/17/obituaries/peter-g-neumann-dead.html
       
 (DIR) Post #B6h5L4xh8Fhjbflwiu by avsm@recoil.org
       1 likes, 0 repeats
       
       superb piece of work getting merlin's typing recovery upstreamed into the OCaml compiler; it might even make 5.5! "the typer won't stop at the first error. Instead it will continue typing as much as possible, reporting other errors along the way"  https://github.com/ocaml/ocaml/pull/14241