Newest stories submitted by seako.

  1. 9
    People of Programming Languages: Interviews With PL Researchers ☶ formalmethods ml plt cs.cmu.edu
    seako avatar via seako 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 5
    Abstracting Over Mutability In Rust Macros ☶ programming rust lab.whitequark.org
    seako avatar via seako 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 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 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 13
    A Unikernel Firewall for Qubes OS ml security roscidus.com
    seako avatar via seako 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 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 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments