amautertt

5 ms·

1. 1.▲
   by amautertt 5y ago

   Aaron Schwartz died for nothing. Ortiz is having an upward legal and political career, while an young and inspiring tech activist died. It didn't even push the envelope on free/open access science journals.
2. 2.▲
   by amautertt 5y ago

   Maybe type theory is good to know! I would like to see cutting edge NN libraries for Coq or Lean or Optimization ecosystem like Scipy or Scikit for Agda. You develop your algorithm and you prove a bunch of theorems about it at the same time
3. 3.▲
   by amautertt 5y ago

   If you are already familiar with Coq or even Ocaml/Haskell style programming. I really believe, the volume 3 of SF series is a more polished and more approachable book. https://softwarefoundations.cis.upenn.edu/vfa-curr
4. 4.▲
   by amautertt 5y ago

   I am further along in the journey, I have been learning formal verification/type theory and logic on my own. I think these two are excellent books, SF : Logical Foundations for the basics, SF: Verified Functional Algorithms. Unfortunat