Hacker News
- 2023 ACM Turing Prize awarded to Avi Wigderson https://awards.acm.org/about/2023-turing 73 comments
- ACM Software System Award Given to seL4 Microkernel https://awards.acm.org/software-system 63 comments
- Computer Programming as an Art (1974) [pdf] http://awards.acm.org/images/awards/140/articles/7143252.pdf 3 comments
- ACM Software System Award Given to seL4 Microkernel https://awards.acm.org/software-system 3 comments programming
- Scott Aaronson receives 2020 ACM Prize in Computing https://awards.acm.org/about/2020-acm-prize 10 comments compsci
- Columbia's Alfred Aho and Stanford's Jeffrey Ullman receive 2020 ACM A.M. Turing Award https://awards.acm.org/about/2020-turing 5 comments compsci
- Stanford crypto expert Dan Boneh wins $175K computer science award http://awards.acm.org/infosys/ 26 comments netsec