Hacker News new | ask | show | jobs
by gpvos 3964 days ago
Using metric everywhere would have avoided this particular mistake. Although indeed, the bureaucracy would probably have let some other error slip through (like mistaking cm for mm).