Juris Hartmanis (1928-2022): Guest post by Ryan Williams | Hacker News Reader