What typing ^D does on Unix (2009) | Hacker News Reader