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
My daughter showed up at her doctor's office the other day and found it closed. She complained that she had received all these alerts, texts, emails, voicemails...Lance Fortnow From Computational Complexity | May 16, 2019 at 08:46 AM
Just over thirty years ago on May 5, 1989, I defended my PhD Thesis Complexity-Theoretic Aspects of Interactive Proof Systems. It's starts off with a parable for...Lance Fortnow From Computational Complexity | May 9, 2019 at 08:31 AM
I've accepted a position as Dean of the College of Science at the Illinois Institute of Technology in Chicago starting in August. It's an exciting opportunity...Lance Fortnow From Computational Complexity | May 2, 2019 at 08:20 AM
An interesting discussion during Dagstuhl last month about the US-centric view of theory. Bad enough that all talks and papers in an international venue are inManhattan...Lance Fortnow From Computational Complexity | April 25, 2019 at 08:12 AM
Based on Scott's review, I read through Stephen Pinker's Enlightenment Now. I can't top Scott's exposition of the book, but it is pretty incredible how far humanity...Lance Fortnow From Computational Complexity | April 18, 2019 at 07:40 AM
Guest Blog by John Tromp (Thanks for the opportunity, Lance)
In the past few months, cycle finding has become one of the most widely run
graph theory problems....Lance Fortnow From Computational Complexity | April 4, 2019 at 07:50 AM
At Dagstuhl I got a few ideas for future posts but then...
We had some discussions about STOC allowing program committee members to submit papers that I planned...Lance Fortnow From Computational Complexity | March 28, 2019 at 07:26 AM
Participants and Their Research Interests
This week I'm in Germany for the Dagstuhl workshop on Computational Complexity of Discrete Problems well timedtypecast...Lance Fortnow From Computational Complexity | March 21, 2019 at 06:11 AM
If the president of the United States uses "complexity" in a tweet, I can't leave it alone.
Airplanes are becoming far too complex to fly. Pilots are no longer...Lance Fortnow From Computational Complexity | March 14, 2019 at 10:08 AM
Via Scott, John Horgan wrote a blog post following on his 1993 Scientific American article The Death of Proof. The article talked about computer-generated proofs...Lance Fortnow From Computational Complexity | March 8, 2019 at 10:05 AM
Take a moment and imagine a flying pig. Do you see a pig with tiny wings lazily guiding along. But pigs are not particularly slow animals as anyone has seen a pig...Lance Fortnow From Computational Complexity | February 28, 2019 at 08:50 AM
Last weekend I saw the documentary Joseph Pulitzer: Voice of the People. Pulitzer, as you probably know from the prize named after him, was a major newspaper publisher...Lance Fortnow From Computational Complexity | February 21, 2019 at 07:42 AM
So you've got an iPhone XS in Space Grey. Congrats, so do 20 million other people. Maybe you have different cases but otherwise the hardware in all these phones...Lance Fortnow From Computational Complexity | February 14, 2019 at 07:52 AM
As a grad student in the late 80's I had the opportunity to witness many great and often surprising theorems in computational complexity. Let me tell you aboutnondeterministic...Lance Fortnow From Computational Complexity | February 7, 2019 at 07:47 AM
The Chronicle of Higher Education recently published a story Phishing Scheme Targets Professors’ Desire to Please Their Deans — All for $500 in Gift Cards. TheFrom...Lance Fortnow From Computational Complexity | January 31, 2019 at 11:46 AM
My daughter Molly spent six weeks on an environmental program in China last summer. When she got back she had to do a report on machine learning and wind turbines...Lance Fortnow From Computational Complexity | January 24, 2019 at 08:58 AM
Billboard at 2019 CES
Computer scientists tend to obsess about privacy and we've had a privacy/security debate for decades now. But now machine learning has...Lance Fortnow From Computational Complexity | January 17, 2019 at 12:45 PM
Shockingly I've never done a post on search versus decision, one of the more interesting dualities in complexity. In short: Decision: Is there a needle in the haystack...Lance Fortnow From Computational Complexity | January 9, 2019 at 08:10 AM
Result of the year goes to
Oracle Separation of BQP and PH by Ran Raz and Avishay Tal
which we wrote about in June. This work solves one of the original openQuanta...Lance Fortnow From Computational Complexity | December 31, 2018 at 07:25 AM
A few weeks ago as Bill and I prepared for our upcoming year in review post, we noted that we hadn't lost any theoretical computer scientists this year, at least...Lance Fortnow From Computational Complexity | December 26, 2018 at 08:31 AM