Hacker News new | ask | show | jobs
user: gavinhoward
created: 2015-02-16
karma: 5281

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/

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes
2 points | 0 comments
Use the Mikado Method to do safe changes in a complex codebase
4 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Redundancy vs. dependencies: which is worse?
3 points | 0 comments
0 points | 0 comments
BC Maintenance Terms
3 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Fsyncgate: Errors on Fsync Are Unrecovarable
1 points | 0 comments
0 points | 0 comments
Formal Methods Let You Explore the Corners (2016)
3 points | 0 comments
0 points | 0 comments
The Line of Death
3 points | 0 comments
I Solved the Expression Problem
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
The Expression Problem in Rust
2 points | 0 comments
0 points | 0 comments
Most People Are Not Trained in Geology (2005)
1 points | 1 comments