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.
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…
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.…
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…
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.
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…
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.…
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…