gavinhoward
- Karma
- 5,276
- Created
- 10 years ago
About
Christian, programmer, blogger, in that order.Blog: https://gavinhoward.com/
Contact: https://gavinhoward.com/contact/
Code: https://git.gavinhoward.com/
Member and manager of Yzena, LLC.
Website: https://yzena.com/
Contact: https://yzena.com/contact/
Services: https://yzena.com/services/
Code: https://git.yzena.com/
Recent Submissions
- 1. ▲ Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes (gavinhoward.com)
- 2. ▲ Use the Mikado Method to do safe changes in a complex codebase (understandlegacycode.com)
- 3. ▲ Redundancy vs. dependencies: which is worse? (yosefk.com)
- 4. ▲ BC Maintenance Terms (github.com)
- 5. ▲ Fsyncgate: Errors on Fsync Are Unrecovarable (danluu.com)
- 6. ▲ Formal Methods Let You Explore the Corners (2016) (johndcook.com)
- 7. ▲ The Line of Death (textslashplain.com)
- 8. ▲ I Solved the Expression Problem (gavinhoward.com)
- 9. ▲ The Expression Problem in Rust (cswiercz.info)
- 10. ▲ Most People Are Not Trained in Geology (2005) (web.archive.org)