An Interview with the Old Man of Floating-Point | Hacker News Reader