interesting books, essays, and papers.
books
The Credential SocietyRandall Collins
essays
Computers by the MillionsJef Raskin
papers
Chainless AppsBrian Seong, Paul Gebheim
Proof-Carrying DataChen, Chiesa, Gur, O'Connor, Spooner
interesting books, essays, and papers.