1. 9
    People of Programming Languages: Interviews With PL Researchers ☶ formalmethods ml plt cs.cmu.edu
    seako avatar via seako 8 months ago | cached | no comments
  2. 5
    Abstracting Over Mutability In Rust Macros ☶ programming rust lab.whitequark.org
    seako avatar via seako 9 months ago | cached | no comments
  3. 11
    Gerard Huet Reflects On The History Of Theorem Provers ☶ compsci formalmethods lisp math ml 50ans.inria.fr
    seako avatar via seako 9 months ago | cached | no comments
  4. 11
    A Unikernel Firewall for Qubes OS ml security roscidus.com
    seako avatar via seako 2 years ago | cached | no comments
  5. 18
    Peter Alvaro's Keynote at RICON 2014 - Outwards from the Middle of the Maze ☶ video distributed youtube.com
    seako avatar via seako 3 years ago | cached | 2 comments