Top New Best Ask Show Jobs

gavinhoward

5,314 karma · joined February 16, 2015

Christian, programmer, blogger, in that order.

Blog: https://gavinhoward.com/

Contact: https://gavinhoward.com/contact/

submissions comments

Compiler bootstrapping depends on more than you might think

utcc.utoronto.ca·26 pts·gavinhoward·

What If the Spec Doesn't Match the Code?

buttondown.com·1 pts·gavinhoward·

What Improves Developer Productivity at Google? Code Quality

dl.acm.org·4 pts·gavinhoward·

Missile Task

beza1e1.tuxen.de·2 pts·gavinhoward·

Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2 pts·gavinhoward·

Use the Mikado Method to do safe changes in a complex codebase

understandlegacycode.com·4 pts·gavinhoward·

Redundancy vs. dependencies: which is worse?

yosefk.com·3 pts·gavinhoward·

BC Maintenance Terms

github.com·3 pts·gavinhoward·

Fsyncgate: Errors on Fsync Are Unrecovarable

danluu.com·1 pts·gavinhoward·

Formal Methods Let You Explore the Corners (2016)

johndcook.com·3 pts·gavinhoward·

The Line of Death

textslashplain.com·3 pts·gavinhoward·

I Solved the Expression Problem

gavinhoward.com·3 pts·gavinhoward·

The Expression Problem in Rust

cswiercz.info·2 pts·gavinhoward·

Most People Are Not Trained in Geology (2005)

web.archive.org·1 pts·gavinhoward·

Replacing CVE

gavinhoward.com·59 pts·gavinhoward·

Rich Programmer Food

steve-yegge.blogspot.com·1 pts·gavinhoward·

Secure Transport support in curl is on its way out

daniel.haxx.se·3 pts·gavinhoward·

Ask HN: Resources for VR Game Development?

1 pts·gavinhoward·

Don't Write Clean Code, Write CRISP Code

bitfieldconsulting.com·5 pts·gavinhoward·

Falling into the Pit of Success (2007)

blog.codinghorror.com·2 pts·gavinhoward·

Writes large correct programs (2008)

johndcook.com·148 pts·gavinhoward·

Three Questions of Language Design

chrisdone.com·1 pts·gavinhoward·

To Broadcast or Not to Broadcast: A Nuanced Perspective

gavinhoward.com·4 pts·gavinhoward·

Rewriting Rust: A Response

gavinhoward.com·140 pts·gavinhoward·

Is Crowdstrike the Final Straw?

gavinhoward.com·29 pts·gavinhoward·

I Hope Rust Does Not Oxidize Everything

gavinhoward.com·99 pts·gavinhoward·

A New Architecture for a GUI Framework

gavinhoward.com·7 pts·gavinhoward·

What Rust Got Wrong on Formal Verification

gavinhoward.com·4 pts·gavinhoward·

Show HN: Urdo, a "Replacement" for Sudo and Run0

git.yzena.com·2 pts·gavinhoward·

Show HN: Rig, the Zero Magic, Zero Dependency Build System

git.yzena.com·8 pts·gavinhoward·

Page 1 of 3Next →