Search
 
   

3 results for "domain:bentnib.org"

  1. 5
    Authenticated Data Structures, as a Library, for Free! ml security bentnib.org
    apy avatar via apy 2 years ago | cached | 2 comments
  2. 5
    From Parametricity to Conservation Laws, via Noether’s Theorem ☶ pdf compsci math science bentnib.org
    tel avatar via tel 3 years ago | cached | no comments
  3. 7
    Propositions as Filenames, Builds as Proofs: The Essence of Make compsci programming bentnib.org
    arcatan avatar via arcatan 3 years ago | cached | 1 comment