Comment by md_rumpf | Hacker News Reader