NASA Responses to Webb Independent Review Board Recommendations (2018) [pdf]
2022-07-19
A Visit by the CPT – What's it all about? (1999) [pdf]
2022-07-19
A Special Issue on Formal Proof (2008)
2022-07-19
The little book about OS development (2015) [pdf]
2022-07-19
CIS Software Supply Chain Security Guide [pdf]
2022-07-19
The case for strong longtermism (2021) [pdf]
2022-07-19
Advances in Software Inspections (1986) [pdf]
2022-07-18
The economics of stable-coin crashes [pdf]
2022-07-18
Ask HN: How do you localize your prices?
2022-07-18
Introduction to Classical and Quantum Computing [pdf]
2022-07-18