~/ on Max's blog

Contents The Curry-Howard correspondence How do proof assistants use the CH correspondence A theorem A proof of the theorem The type checker Limitations of the type checker Mathematical consequences (and proof) Your type checker maybe wrong Conclusion When

Contents Tolstoyan art Zero-knowledge proof A marriage of (or casual relationship between) the two Conclusion In this post I hope to prove to you (get it 😉) in rather uncertain terms, that: Tolstoyan art has the structure of a zero knowledge proof.

Contents Introduction The explanation Conclusion Introduction While quite a fundamental law in logic, the contrapositive is certainly not immediately intuitive (or at least it was not to me).

Contents Introduction Should you read this?

Contents The problem An example The solution Lemma one Lemma two Conclusion Generalisation What a catchy name!

Contents The structure of the network The new function Arguments Network setup Weight initialisation Initialisation options Bias initialisation Returning The forward pass function Arguments Return value Initialisation All layers but one The one layer Conc…

Contents Why from scratch Intuition?