From Schneier on Security
Artificial intelligence (AI) has been billed as the next frontier of humanity: the newly available expanse whose exploration
…
B. Schneier| February 29, 2024
In the recent Signalgate scandal, several senior Trump administration appointees used the Signal app on their phones to discuss an attack on the Houthis. People...Lance Fortnow From Computational Complexity | April 9, 2025 at 02:00 PM
PDQ Shor
PDQ Shor, Peter Shor's smarter brother, passed away last week. PDQ was a Physicist/Computer Scientist/Mathematician/Astrologer/Psychic at the University...Lance Fortnow From Computational Complexity | April 1, 2025 at 08:30 AM
In 2012 I wrote a blog post about the growing influence of Massively Open Online Courses, or MOOCs.John Hennessey, president of Stanford, gave the CRA keynote address...Lance Fortnow From Computational Complexity | March 26, 2025 at 11:13 AM
With care you can explain major ideas and results in computational complexity to the general public, like the P v NP problem, zero-knowledge proofs, the PCP theorem...Lance Fortnow From Computational Complexity | March 19, 2025 at 08:33 AM
As we hit five years from when the world shut down, lots of discussions on how Covid has changed society. What about academia and computer science?It's a challenging...Lance Fortnow From Computational Complexity | March 12, 2025 at 09:26 AM
On February 20th we got the news from the National Science Foundation Algorithms Foundations Team that long-time NSF program director Tracy Kimbrel, was leaving...Lance Fortnow From Computational Complexity | March 5, 2025 at 10:09 AM
Just as I was complaining that we haven't seen many surprising breakthroughs in complexity recently, we get an earthquake of a result to start the year, showing...Lance Fortnow From Computational Complexity | February 26, 2025 at 09:47 AM
I recently completed Tomorrow, and Tomorrow, and Tomorrow by Gabrielle Zevin, a book recommended by many including the City of Chicago. The novel covers the decades...Lance Fortnow From Computational Complexity | February 19, 2025 at 08:56 AM
A student asked me if complexity research was easier when I was a student. Interesting question. Let's compare research now versus the late 80's.The big advantage...Lance Fortnow From Computational Complexity | February 12, 2025 at 09:43 AM
The National Science Foundation is one of the agencies most affected by the various executive orders issued by the Trump administration. As a critical funder of...Lance Fortnow From Computational Complexity | January 31, 2025 at 12:41 PM
The National Science Foundation is one of the agencies most affected by the various executive orders issued by the Trump administration. As a critical funder of...Lance Fortnow From Computational Complexity | January 30, 2025 at 06:44 PM
In writing the drunken theorem post, I realized I never wrote a post on Lautemann's amazing proof that BPP is contained in \(\Sigma^p_2\), the second level of the...Lance Fortnow From Computational Complexity | January 29, 2025 at 09:15 AM
What does an 1838 painting tell us about technological change?A colleague and I decided to see how well LLMs could teach us a topic we knew nothing about. We picked...Lance Fortnow From Computational Complexity | January 22, 2025 at 10:09 AM
Slide in Lev Reyzin's JMM talk "Problems in AI and ML for Mathematicians"
Reyzin is paraphrasing Telgarsky. Posted with permission.
Last week I attended the Joint...Lance Fortnow From Computational Complexity | January 15, 2025 at 09:42 AM
Bill's SIGACT Open Problems Column remembering Luca Trevisan is out. I chose the problem of whether Promise-ZPP in P implies Promise-BPP in P, an extension of an...Lance Fortnow From Computational Complexity | January 2, 2025 at 08:30 AM
Back in the day (circa 1989) we studied locally random reductions which would lead to all those exciting interactive proof results. Somehow locally random reductions...Lance Fortnow From Computational Complexity | December 23, 2024 at 07:21 AM
I've heard a few times recently the phrase "Information only exists in a physical state". It come from the quantum computing world where they claim quantum changes...Lance Fortnow From Computational Complexity | December 18, 2024 at 12:04 PM
We use grades to evaluate students and motivate them to learn. That works as long as grades remain a reasonably good measure of how well the student understands...Lance Fortnow From Computational Complexity | December 11, 2024 at 10:29 AM
Now in one place all of my sixty favorite theorems from the six decades of computational complexity (1965-2024).2015-2024
Graph Isomorphism (Babai)
Sensitivity...Lance Fortnow From Computational Complexity | December 4, 2024 at 08:58 AM
Will our writing all converge to a generic AI style? Let's take a quick detour into LaTeX. Back in the late '80s, before LaTeX was the standard, there was TeX—a...Lance Fortnow From Computational Complexity | November 25, 2024 at 07:59 AM