2023
November
2021
December
2020
February
2019
December
- Dec 22: Smart Devices Are Dangerous
November
- Nov 23: Verifying a Safety Number in Signal
- Nov 15: Auditing Software Is Hard
2018
August
- Aug 14: Tech Crises
What Computers Cannot Do: The Consequences of Turing-Completeness