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
I've seen many brilliant students, those who flew though high school and undergrad with great grades and little effort. As PhD students, they often feel they still...Lance Fortnow From Computational Complexity | October 3, 2023 at 05:06 PM
I've mentioned Kannan's proof that \(\Sigma_2^p\) does not have \(n^2\) size-circuits before. A similar proof shows that \(\Sigma_2^E = \mathrm{NTIME}^\mathrm{NP}...Lance Fortnow From Computational Complexity | September 28, 2023 at 11:29 AM
The Chicago Tribune ran an editorial Monday that started
What’s the best four-year college in Illinois? Not the University of Chicago, Northwestern University or...Lance Fortnow From Computational Complexity | September 20, 2023 at 04:42 PM
There were three major influencers in my educational journey: Mike Sipser, my PhD advisor at Berkeley and MIT, Juris Hartmanis who founded the field of computational...Lance Fortnow From Computational Complexity | September 14, 2023 at 09:25 AM
Two of my colleagues and co-authors from my early days at the University of Chicago have released books over the past few months designed to excite people withMathematical...Lance Fortnow From Computational Complexity | September 6, 2023 at 03:45 PM
In this weblog, we've used constructive in different ways. Often we talk about constructive as something we can create in polynomial time, like an expander. But...Lance Fortnow From Computational Complexity | August 30, 2023 at 04:26 PM
When I start a new academic job, I need to prove that I actually have a PhD. I have to log in my MIT alumni page, pay my $10 and they email my graduate transcript...Lance Fortnow From Computational Complexity | August 24, 2023 at 11:35 AM
I turn sixty today, spending my birthday reviewing a computer science department in Asia. Sixty is a good time to look back and reflect in a rambling way.I started...Lance Fortnow From Computational Complexity | August 15, 2023 at 08:56 AM
When I taught Programming for Engineers at Northwestern in 2008, the textbook gave access to PowerPoint slides I could use to teach the class. Since C++ is notseries...Lance Fortnow From Computational Complexity | August 9, 2023 at 04:13 PM
My wife's cousin and her daughter came and visited Chicago. The daughter, between junior and senior year of high school, is on the tail end of college tour season...Lance Fortnow From Computational Complexity | August 2, 2023 at 11:25 AM
A twitter question from a young researcher.
Wait, how do paper writing collaborations work with LaTeX that doesn’t use overleaf? You need more than a .Tex file...Lance Fortnow From Computational Complexity | July 26, 2023 at 03:10 PM
Back in May I posted about a paper that finds primes pseudodeterministically and Quanta magazine recently published a story on the result. Oddly enough the paper...Lance Fortnow From Computational Complexity | July 19, 2023 at 09:46 AM
Twitter tells me it's my twitterversary, 15 years since I first started tweeting. Not sure I'll make it to sweet sixteen.No longer do tweets show up on this blog...Lance Fortnow From Computational Complexity | July 13, 2023 at 10:34 AM
The New York Times published an article with the ominous title A.I. Is Coming for Mathematics, Too. We know by the work of Gödel and Turing that we can't automate...Lance Fortnow From Computational Complexity | July 5, 2023 at 09:22 AM
Guest post by Ravi BoppanaHerman
Chernoff celebrates a milestone today: he turns 100
years old.
We in theoretical computer science know Professor Chernoff
primarily...Lance Fortnow From Computational Complexity | July 1, 2023 at 09:43 AM
Computer science and mathematicians often try to use logic to negotiate whether it be at a university or life in general. I've tried it myself and it doesn't usually...Lance Fortnow From Computational Complexity | June 22, 2023 at 01:15 PM
NeurIPS recently released their 2021 consistency report, a sequel to the 2014 experiment. While the conference has grown dramatically, the results remain "consistent"...Lance Fortnow From Computational Complexity | June 15, 2023 at 05:04 PM
In 2003, Agrawal, Kayal and Saxena showed that primality testing is in P, i.e., you could test for primes without using any randomness.What if you want to findposted...Lance Fortnow From Computational Complexity | May 25, 2023 at 09:17 AM
Last week I got the following email from Blogger:As you may know, our Community Guidelines (https://blogger.com/go/contentpolicy) describe the boundaries for what...Lance Fortnow From Computational Complexity | May 18, 2023 at 08:54 AM
I fear we are heading to a computer science winter. Now why would I say that when CS enrollments are at record levels and AI is driving incredible excitement in...Lance Fortnow From Computational Complexity | May 11, 2023 at 09:38 AM