A eulogy for Richard Guy, 1916-2020 | Hacker News Reader