Certainty by Construction: Done! October 30, 2023 Algebra-Driven Design September 10, 2020 The Mechanics of Writing a Book November 3, 2019 Blindness: Unable to See Its Own Flaws February 11, 2018