home | feeds |donate  
jonathan blow on formally proving software
- Aug 14 2024