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