ParentFull threadfurcyd·Yep; it is a good idea to honor people during their lifetime. For Karp, here is the occasion they are choosing for it: https://simons.berkeley.edu/support/richard-m-karp-fundView on HN