Sign In
Communications of the ACM
Refine your search:
How the “Frontier” Became the Slogan of Uncontrolled AI
Artificial intelligence (AI) has been billed as the next frontier of humanity: the newly available expanse whose exploration …
From Gödel's Lost Letter and P=NP
The ChatGPT Conundrum
High absolute, low relative Kolmogorov complexity 4/1 prank source [Editors’ Note: Our usual blog format has the first paragraph lead with a human subject, but...
From Gödel's Lost Letter and P=NP
A New Tiling
With a flip and some twists Roger Penrose has been floored. And perhaps re-floored. Here he is standing on the floor of the Mitchell Institute of Texas A&M, which...
From Gödel's Lost Letter and P=NP
William Wulf, 1939–2023
A great teacher and a great leader Bill Wulf just passed away. We send our best thoughts to his dear wife Anita Jones and the rest of his family. He is greatly...
From Gödel's Lost Letter and P=NP
The 2022 Turing Award
Bob Metcalfe is the sole winner of the 2022 Turing Award. He keyed the development of Ethernet technology growing out of his PhD thesis while at Xerox PARC in the...
From Gödel's Lost Letter and P=NP
Problems Better Than Solutions
Defining the problem often means more than solving it Avrim Blum is the CAO at TTIC who got his degrees at MIT and then was at CMU almost for 25 years: CAO is Chief...
From Gödel's Lost Letter and P=NP
Céad Míle GPT
The gift of Broadscale Linguistic Affinely Regressed Neurally Encoded Yakking By Simplified from “leprechaun robot” Neil L. is sentient. As a fantastical creature...
From Gödel's Lost Letter and P=NP
STACS 2023
The Symposium on Theoretical Aspects of Computer Science—STACS—will take place from 7th March to 9th March 2023 in Universitat Hamburg, Hamburg, Germany. It starts...
From Gödel's Lost Letter and P=NP
SODA 2023
Traces of strings, plus ways of tracing accepted papers Anindya De was at Northwestern University and is now at the University of Pennsylvania—see here. He was...
From Gödel's Lost Letter and P=NP
STOC 2023
STOC 2023 is the 55th Annual ACM Symposium on Theory of Computing. It will be held on June 20-23, 2023 in Orlando, Florida. Perhaps the best paper ever at STOC...
From Gödel's Lost Letter and P=NP
Thanks to Rich
Richard DeMillo deserves, in my opinion, an award for his decades of research. A difficulty I believe is that he has worked on multiple areas and made important...
From Gödel's Lost Letter and P=NP
Novel Proofs of the Infinitude of Primes
Can they inform computational complexity theory? Bill Gasarch and Christian Elsholtz both like primes and jokes and graphs and ways of sharing baked goods. Bill...
From Gödel's Lost Letter and P=NP
Are We Nuts?
Gil Kalai is one of the top researchers in the world in the area of combinatorics. His blog is one of the best in the universe. He also has some of the top results...
From Gödel's Lost Letter and P=NP
FOCS 2022 Program
Alvy Ray Smith designed the distinctive cover art that was a notable feature of FOCS proceedings until FOCS ended the production of printed proceedings in 2010....
From Gödel's Lost Letter and P=NP
Back From A Vacation
I am just back from a multi-week vacation on the cruise ship the Voyager. My dear wife—Kathryn Farley—and I were on the trip together with her brother. It was wonderful...
From Gödel's Lost Letter and P=NP
Artificial Intelligence Just Lost a Leader
Roger Schank just passed away. Roger was a top leader of AI. I overlapped with him for my time at Yale. In 1974, he became a professor of computer science and psychology...
From Gödel's Lost Letter and P=NP
Why Study Logic?
Before and after it is mechanized… Peter Andrews is a Professor of Mathematics, Emeritus at Carnegie Mellon University (CMU) in Pittsburgh, Pennsylvania. He has...
From Gödel's Lost Letter and P=NP
Rabin-Scott Time
Nondeterminism—why did it take so long? 2010 interview src1, Society for Science src2 Michael Rabin and Dana Scott won the 1976 Turing Award. They obtained their...
From Gödel's Lost Letter and P=NP
Art as Math that Meets Crochet
Gabriele Meyer is a Senior Lecturer Emerita in the Department of Mathematics, at the University of Wisconsin. She creates beautiful art by crocheting mathematical...
From Gödel's Lost Letter and P=NP
Cargo Cult Redo
Richard Feynman during his 1974 commencement address at the California Institute of Technology coined the term cargo cult. The term was just used over at the blog...
From Gödel's Lost Letter and P=NP