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
We had an incredible year for theorems in 2015, the strongest year in computational complexity in the last decade. Topping the list as the theorem of the year is...Lance Fortnow From Computational Complexity | December 28, 2015 at 11:09 AM
“We believe it would be wrong to weaken security for hundreds of millions of law-abiding customers so that it will also be weaker for the very few who pose a threat...Lance Fortnow From Computational Complexity | December 22, 2015 at 09:58 AM
If you follow this or any other Blogger-based blog via a non-Google account, you'll need to follow with a Google account instead. Details.Lance Fortnow From Computational Complexity | December 21, 2015 at 10:12 AM
The Simons Institute for the Theory of Computing in Berkeley held two programs this fall, Fine-Grained Complexity and Algorithm Design and Economics and Computation...Lance Fortnow From Computational Complexity | December 16, 2015 at 03:00 PM
Back in my teens I had ordered my first computer, a TRS-80 from Radio Shack, and I grew anxious in the weeks before it arrived. I learned the basics of BASIC...Lance Fortnow From Computational Complexity | December 10, 2015 at 08:17 AM
In 1961 Kennedy said "this nation should commit itself to achieving the goal, before this decade is out, of landing a man on the Moon and returning him safely to...Lance Fortnow From Computational Complexity | December 3, 2015 at 09:43 AM
In the wake of Leonard Nimoy's death last February, I decided to rewatch the entire original Star Trek series, all 79 episodes. I had watched them each many times...Lance Fortnow From Computational Complexity | November 23, 2015 at 10:30 AM
First a note on a serious theorem: Babai has posted a video (mp4, 1h 40 m, 653MB) of his first talk on his Graph Isomorphism algorithm.
I was giving a talk on the...Lance Fortnow From Computational Complexity | November 19, 2015 at 08:53 AM
I spent 14 years on the faculty at the University of Chicago. I know László Babai well, we collaborated on some of my best known work. I also know Ryerson 251...Lance Fortnow From Computational Complexity | November 12, 2015 at 08:30 AM
George Boole, the father of symbolic logic, was born two hundred years ago today. His 1854 treatise, An investigation into the Laws of Thought, on Which are founded...Lance Fortnow From Computational Complexity | November 2, 2015 at 05:52 AM
Barry Cooper, a computability theorist and professor at the University of Leeds, passed away on Monday after a brief illness. Cooper was a big proponent of computability...Lance Fortnow From Computational Complexity | October 29, 2015 at 07:38 AM
My friend Marty in grad school mysteriously disappeared in 1985 and showed up yesterday looking exactly the same as I remember him. He said he traveled into my
...Lance Fortnow From Computational Complexity | October 22, 2015 at 07:55 AM
When the 2014 fall jobs post is our most popular post, you know it is time for the 2015 jobs post. This year instead of (or in addition to) posting your jobs in...Lance Fortnow From Computational Complexity | October 15, 2015 at 08:12 AM
Let n be the following number
135066410865995223349603216278805969938881475605667027524485143851526510604859533833940287150571909441798207282164471551373680419703964191743046496589274256239341020864383202110372958725762358509643110564073501508187510676594629205563685529475213500852879416377328533906109750544334999811150056977236890927563 ...Lance Fortnow From Computational Complexity | October 7, 2015 at 08:53 AM
Karsten Schwan said the title quote when we were gathered as a faculty two years ago mourning the Georgia Tech School of Computer Science faculty member Mary...Lance Fortnow From Computational Complexity | October 1, 2015 at 12:48 PM
My youngest daughter, Molly, a high school senior talking colleges with a woman about ten years her senior. The woman remembered all her friends watching the clock...Lance Fortnow From Computational Complexity | September 24, 2015 at 08:23 AM
All too often theoretical computer scientists get more obsessed by proofs than the theorems themselves. I suggest a theorems conference. Here's how it would work...Lance Fortnow From Computational Complexity | September 17, 2015 at 03:49 AM
A computer architecture researcher talked to me about a role theoretical computer science can play for them: creating a new kind of computer processor. Microprocessors...Lance Fortnow From Computational Complexity | September 10, 2015 at 10:23 AM
I recently watched the movie Whiplash, about a college jazz band director, Fletcher played by J.K. Simmons, who torments his musicians to force them to be their...Lance Fortnow From Computational Complexity | September 3, 2015 at 04:01 PM
I serve on the conference committee of the ACM publications board and we've had extensive discussions on the question of the role of journals in publication venues...Lance Fortnow From Computational Complexity | August 27, 2015 at 08:01 AM