| 1. | | Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes (gavinhoward.com) |
| 2 points by gavinhoward 14 days ago | past |
|
| 2. | | Use the Mikado Method to do safe changes in a complex codebase (understandlegacycode.com) |
| 4 points by gavinhoward 20 days ago | past |
|
| 3. | | Redundancy vs. dependencies: which is worse? (yosefk.com) |
| 3 points by gavinhoward 40 days ago | past |
|
| 4. | | BC Maintenance Terms (github.com/gavinhoward) |
| 3 points by gavinhoward 5 months ago | past | 1 comment |
|
| 5. | | Fsyncgate: Errors on Fsync Are Unrecovarable (danluu.com) |
| 1 point by gavinhoward 5 months ago | past |
|
| 6. | | Formal Methods Let You Explore the Corners (2016) (johndcook.com) |
| 3 points by gavinhoward 7 months ago | past |
|
| 7. | | The Line of Death (textslashplain.com) |
| 3 points by gavinhoward 7 months ago | past |
|
| 8. | | I Solved the Expression Problem (gavinhoward.com) |
| 3 points by gavinhoward 8 months ago | past |
|
| 9. | | The Expression Problem in Rust (cswiercz.info) |
| 2 points by gavinhoward 8 months ago | past |
|
| 10. | | Most People Are Not Trained in Geology (2005) (archive.org) |
| 1 point by gavinhoward 8 months ago | past | 1 comment |
|
| 11. | | Replacing CVE (gavinhoward.com) |
| 59 points by gavinhoward 8 months ago | past | 61 comments |
|
| 12. | | Rich Programmer Food (steve-yegge.blogspot.com) |
| 1 point by gavinhoward 11 months ago | past |
|
| 13. | | Secure Transport support in curl is on its way out (haxx.se) |
| 3 points by gavinhoward 11 months ago | past | 1 comment |
|
| 14. | | Ask HN: Resources for VR Game Development? |
| 1 point by gavinhoward 12 months ago | past | 1 comment |
|
| 15. | | Don't Write Clean Code, Write CRISP Code (bitfieldconsulting.com) |
| 5 points by gavinhoward on Dec 15, 2024 | past |
|
| 16. | | Falling into the Pit of Success (2007) (codinghorror.com) |
| 2 points by gavinhoward on Nov 26, 2024 | past |
|
| 17. | | Writes large correct programs (2008) (johndcook.com) |
| 148 points by gavinhoward on Nov 18, 2024 | past | 108 comments |
|
| 18. | | Three Questions of Language Design (chrisdone.com) |
| 1 point by gavinhoward on Oct 10, 2024 | past |
|
| 19. | | To Broadcast or Not to Broadcast: A Nuanced Perspective (gavinhoward.com) |
| 4 points by gavinhoward on Sept 30, 2024 | past |
|
| 20. | | Rewriting Rust: A Response (gavinhoward.com) |
| 140 points by gavinhoward on Sept 27, 2024 | past | 83 comments |
|
| 21. | | [flagged] Is Crowdstrike the Final Straw? (gavinhoward.com) |
| 29 points by gavinhoward on July 19, 2024 | past | 57 comments |
|
| 22. | | I Hope Rust Does Not Oxidize Everything (gavinhoward.com) |
| 99 points by gavinhoward on July 16, 2024 | past | 180 comments |
|
| 23. | | A New Architecture for a GUI Framework (gavinhoward.com) |
| 7 points by gavinhoward on May 29, 2024 | past | 7 comments |
|
| 24. | | What Rust Got Wrong on Formal Verification (gavinhoward.com) |
| 4 points by gavinhoward on May 22, 2024 | past |
|
| 25. | | Show HN: Urdo, a "Replacement" for Sudo and Run0 (yzena.com) |
| 2 points by gavinhoward on May 7, 2024 | past | 2 comments |
|
| 26. | | Show HN: Rig, the Zero Magic, Zero Dependency Build System (yzena.com) |
| 8 points by gavinhoward on April 2, 2024 | past |
|
| 27. | | What Computers Cannot Do: The Consequences of Turing-Completeness (yzena.com) |
| 71 points by gavinhoward on March 26, 2024 | past | 56 comments |
|
| 28. | | Build System Schism: The Curse of Meta Build Systems (yzena.com) |
| 81 points by gavinhoward on March 19, 2024 | past | 91 comments |
|
| 29. | | Poll: Is Dan Luu Right About Website Styling? |
| 6 points by gavinhoward on March 17, 2024 | past | 5 comments |
|
| 30. | | Version Interfaces, Not Implementations (gavinhoward.com) |
| 2 points by gavinhoward on Feb 16, 2024 | past |
|
|
| More |
