1. 17
    Interview of Xavier Leroy ­— POPL 18 compilers compsci ml person cs.cmu.edu
    c-cube avatar via c-cube 8 months ago | cached | 2 comments
  2. 10
    A minimal introduction to unicode ☶ ml programming erratique.ch
    c-cube avatar via c-cube 1 year ago | cached | 1 comment
  3. 5
    ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician ☶ compsci formalmethods math ml cl.cam.ac.uk
    c-cube avatar via c-cube 1 year ago | cached | 3 comments
  4. 13
    Distributed Sagas: A Protocol for Coordinating Microservices slides distributed networking speakerdeck.com
    c-cube avatar via c-cube 1 year ago | cached | 7 comments
  5. 18
    Eprover — a free, efficient automatic theorem prover ☶ c compsci formalmethods math wwwlehre.dhbw-stuttgart.de
    c-cube avatar via c-cube 1 year ago | cached | no comments