Juris Hartmanis (1928-2022): Guest post by Ryan Williamsscottaaronson.blog17 pointsjessaustin4 years ago