How cheap digital verniers work (2017) | Hacker News