HN Explorer

gavinhoward

↗ HN profile [ 60.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Compiler bootstrapping depends on more than you might think (utcc.utoronto.ca)
    1 points 2
  2. What If the Spec Doesn't Match the Code? (buttondown.com)
    1 points 0
  3. What Improves Developer Productivity at Google? Code Quality (dl.acm.org)
    1 points 2
  4. Missile Task (beza1e1.tuxen.de)
    1 points 0
  5. Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes (gavinhoward.com)
    2 points 0
  6. Use the Mikado Method to do safe changes in a complex codebase (understandlegacycode.com)
    4 points 0
  7. Redundancy vs. dependencies: which is worse? (yosefk.com)
    3 points 0
  8. BC Maintenance Terms (github.com)
    3 points 1
  9. Fsyncgate: Errors on Fsync Are Unrecovarable (danluu.com)
    1 points 0
  10. Formal Methods Let You Explore the Corners (2016) (johndcook.com)
    3 points 0
  11. The Line of Death (textslashplain.com)
    3 points 0
  12. I Solved the Expression Problem (gavinhoward.com)
    3 points 0
  13. The Expression Problem in Rust (cswiercz.info)
    2 points 0
  14. Most People Are Not Trained in Geology (2005) (web.archive.org)
    1 points 1
  15. Replacing CVE (gavinhoward.com)
    59 points 61
  16. 1 points 0
  17. Rich Programmer Food (steve-yegge.blogspot.com)
    1 points 0
  18. Secure Transport support in curl is on its way out (daniel.haxx.se)
    2 points 1
  19. Ask HN: Resources for VR Game Development?

    I have had depression for a long time, but I am finally getting better. One of the reasons was totally unexpected: VR. I am not a gamer by any means. I am a slow thinker, so most games are not my style. But I got a…

    1 points 1
  20. Don't Write Clean Code, Write CRISP Code (bitfieldconsulting.com)
    5 points 0
  21. Falling into the Pit of Success (2007) (blog.codinghorror.com)
    2 points 0
  22. Writes large correct programs (2008) (johndcook.com)
    148 points 108
  23. Three Questions of Language Design (chrisdone.com)
    1 points 0
  24. To Broadcast or Not to Broadcast: A Nuanced Perspective (gavinhoward.com)
    4 points 0
  25. Rewriting Rust: A Response (gavinhoward.com)
    140 points 83