Hacker News
- Practical Proofs: Proof Approximations for Practical Code http://www.zerobugsandprogramfaster.net/essays/6.html 17 comments
- APL Tutorial http://www.zerobugsandprogramfaster.net/essays/5b.html 55 comments
- How Great Programmers Avoid Bugs http://www.zerobugsandprogramfaster.net/essays/4.html 55 comments
- A Quick Look at PostgreSQL Source Code http://www.zerobugsandprogramfaster.net/essays/3.html 8 comments
- Show Reddit: I wrote an APL tutorial! http://www.zerobugsandprogramfaster.net/essays/5b.html 13 comments programming
- How Great Programmers Avoid Bugs http://www.zerobugsandprogramfaster.net/essays/4.html 89 comments programming
- A look at postgresql source code http://www.zerobugsandprogramfaster.net/essays/3.html 18 comments programming
- (The Lost) Interview with Marc Andreessen http://www.zerobugsandprogramfaster.net/essays/2.html 3 comments programming
- The No Obligations Estimate Method http://www.zerobugsandprogramfaster.net/essays/1.html 12 comments programming