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
End-to-End Encryption: A Problem
Bopuifs fodszqujpo qspcmfn. “Unsung Entrepreneur” source Adolph Ochs was the owner of the New York Times. In 1897 he created the paper’s slogan, “All the News That...
From Gödel's Lost Letter and P=NP
Predicating Predictivity
Plus predicaments of error modeling Cropped from Bacon Sandwich source Sir David Spiegelhalter is a British statistician. He is a strong voice for the public understanding...
From Gödel's Lost Letter and P=NP
A Clever Way To Find Compiler Bugs
Your comments are valuable, we thank you. source Xuejun Yang is a Senior Staff Engineer at FutureWei Technologies. He is the DFA on the 2011 paper, “Finding and...
From Gödel's Lost Letter and P=NP
Hobgoblins in Our Equations
With consequences for physics Britannica source Paul Painlevé was a French mathematician who specialized in classical mechanics. He is known for a conjecture in...
From Gödel's Lost Letter and P=NP
Quantum Supremacy At Last?
What it takes to understand and verify the claim Cropped from 2014 Wired source John Martinis of U.C. Santa Barbara and Google is the last author of a paper published...
From Gödel's Lost Letter and P=NP
Writing 33 as a Sum of Cubes
Cracking a Diophantine problem for 42 too Andrew Booker is a mathematician at the University of Bristol, who works in analytic number theory. For example he has...
From Gödel's Lost Letter and P=NP
Quantum Switch-Em
A recipe for changing the objectives of problems Composite crop of src1, src2, src3 Aram Harrow, Avinatan Hassidim, and Seth Lloyd are quantum stars who have done...
From Gödel's Lost Letter and P=NP
Our Trip To Monte Carlo
Why does randomness help? Kathryn Farley is my dear wife. She and I are currently on a cruise through the Mediterranean. Our trip started in Barcelona and is stopping...
From Gödel's Lost Letter and P=NP
Predicting Chess and Horses
Using predictivity both to sharpen and cross-check models Cropped from article source Patrice Miller and Jeff Seder look under the hide of horses. Their company...
From Gödel's Lost Letter and P=NP
Leaps and Bounds: Practice Meets Theory
Solving the runtime selection problem Composite from src1, src2 Brendan Lucier and Csaba Szepesvári were consecutive speakers at this week’s workshop at the Tokyo...
From Gödel's Lost Letter and P=NP
Code It Up
So you think you have a proof that P=NP Randi 2014 documentary source James Randi is a magician who has challenged paranormal claims of all kinds. Today Ken and...
From Gödel's Lost Letter and P=NP
Discrepancy Games and Sensitivity
Can we connect the talks that closed this month’s Random Structures and Algorithms conference? Cropped from NYU homepage Joel Spencer gave the closing talk of last...
From Gödel's Lost Letter and P=NP
Summer Reading in Theory
Some formative books in mathematics and computing theory LSE source: “Calculus on Clay?” Norman Biggs is the author of the wonderful book Algebraic Graph Theory...
From Gödel's Lost Letter and P=NP
Tools and Sensitivity
Cutting right through a 30-year-old conjecture Cropped from Emory homepage Hao Huang is a mathematician and computer scientist at Emory University. Last week he...
From Gödel's Lost Letter and P=NP
A Quantum Connection For Matrix Rank
A new paper with Chaowen Guan Chaowen Guan is a PhD student at Buffalo. After a busy end to the Spring 2019 term at UB, we are getting time to write about our paper...
From Gödel's Lost Letter and P=NP
The Network Coding Conjecture Is Powerful
More hard Boolean functions Peyman Afshani, Casper Freksen, Lior Kamma, and Kasper Larsen (AFKL) have a recent paper which we just discussed. Today Ken and I will...
From Gödel's Lost Letter and P=NP
Network Coding Yields Lower Bounds
Practice leads theory Peyman Afshani, Casper Freksen, Lior Kamma, and Kasper Larsen have a beautiful new paper titled “Lower Bounds for Multiplication via Network...
From Gödel's Lost Letter and P=NP
A Reason Why Circuit Lower Bounds Are Hard
And a possible approach to avoid this obstacle Valentine Kabanets is a famous complexity theorist from Simon Fraser University. He has been at the forefront of...
From Gödel's Lost Letter and P=NP
Avi Wins The Knuth Prize
Wigderson wins the well deserved Knuth Prize From Avi’s 60Fest at IAS Avi Wigderson is this year’s selection for the ACM/IEEE Donald E. Knuth Prize. Today Ken and...
From Gödel's Lost Letter and P=NP