1. 1
    Mike Nahas's Coq Tutorial formalmethods coq.inria.fr
    avita1 avatar via avita1 1 month ago | cached | 1 comment
  2. 3
    Designing for Understandability: The Raft Consensus Algorithm video distributed youtube.com
    avita1 avatar via avita1 5 months ago | cached | no comments
  3. 9
    Dackson: Decoding JSON with Metaprogramming in D show programming leeavital.com
    avita1 avatar authored by avita1 8 months ago | cached | no comments