| 2024-09-19 |
Embracing the Future of Manufacturing |
Lance Fortnow |
|
| 2024-09-16 |
How will chatGPT affect Homework? |
gasarch |
|
| 2024-09-11 |
Natural Proofs is Not the Barrier You Think It Is |
Lance Fortnow |
|
| 2024-09-09 |
Very few problems are in NP intersect coNP but not known to be in P. What to make of that? |
gasarch |
|
| 2024-09-04 |
Favorite Theorems: Parity Games |
Lance Fortnow |
|
| 2024-09-02 |
Six degrees of separation has been proven. Really? |
gasarch |
|
| 2024-08-29 |
My Quantum Summer |
Lance Fortnow |
|
| 2024-08-27 |
Whats worse for a company: being hacked or having technical difficulties? I would have thought being hacked but... |
gasarch |
|
| 2024-08-21 |
The Levin Translation |
Lance Fortnow |
|
| 2024-08-19 |
Request open problems in honor of Luca Trevisan |
gasarch |
|
| 2024-08-14 |
Favorite Theorems: Random Oracles |
Lance Fortnow |
|
| 2024-08-11 |
The combinatorics of Game Shows |
gasarch |
|
| 2024-08-05 |
Determing which math problems are hard is a hard problem |
gasarch |
|
| 2024-07-28 |
In the future we will all have songs written about us, and it will be Lance's fault. |
gasarch |
|
| 2024-07-24 |
Complexity in Michigan |
Lance Fortnow |
|
| 2024-07-21 |
FLT solution annouement had its 31's anniv was about a month ago. Some poems about FLT NOT from ChatGPT |
gasarch |
|
| 2024-07-18 |
The Story of Shor's Algorithm |
Lance Fortnow |
|
| 2024-07-15 |
The Term Quantum Being Misused ... Again |
gasarch |
|
| 2024-07-10 |
Favorite Theorems: Extracting Ramsey Graphs |
Lance Fortnow |
|
| 2024-07-08 |
The combinatorics of picking a Vice President |
gasarch |
|
| 2024-07-03 |
Why is called the Turing Award (revisited)? |
Lance Fortnow |
|
| 2024-07-01 |
Technology: 1966, 2006, 2023. |
gasarch |
|
| 2024-06-26 |
E versus EXP |
Lance Fortnow |
|
| 2024-06-24 |
Soliciting open problems in honore of Luca T for my Open Problems Column |
gasarch |
|
| 2024-06-20 |
Luca Trevisan (1971-2024) |
Lance Fortnow |
|
| 2024-06-19 |
Rethinking Heuristica |
Lance Fortnow |
|
| 2024-06-17 |
Should Prover and Verifier have been Pat and Vanna? |
gasarch |
|
| 2024-06-13 |
Favorite Theorems: Algebraic Circuits |
Lance Fortnow |
|
| 2024-06-10 |
CFG-Kolm-complexity is singleton sets with Lance and Bill |
gasarch |
|
| 2024-06-06 |
The Godzilla Moment |
Lance Fortnow |
|
| 2024-06-04 |
FOCS 2024 Test of Time Award. Call for nominations and my opinion |
gasarch |
|
| 2024-05-29 |
Double Digit Delights |
Lance Fortnow |
|
| 2024-05-27 |
National BBQ day vs World Quantum Day |
gasarch |
|
| 2024-05-23 |
Peer Review |
Lance Fortnow |
|
| 2024-05-20 |
I don't do that well when the Jeopardy category is Math |
gasarch |
|
| 2024-05-15 |
Jim Simons (1938-2024) |
Lance Fortnow |
|
| 2024-05-12 |
What is Closed Form? The Horse Numbers are an illustration |
gasarch |
|
| 2024-05-09 |
Favorite Theorems: Dichotomy |
Lance Fortnow |
|
| 2024-05-06 |
May the fourth be with you. Too many -days? |
gasarch |
|
| 2024-05-02 |
Our Obsession with Proofs |
Lance Fortnow |
|
| 2024-04-29 |
Math Thoughts Inspired by the TV show Succession |
gasarch |
|
| 2024-04-25 |
Is Persistence an Anachronism? |
Lance Fortnow |
|
| 2024-04-22 |
Intelligent Comments on Bill's G.H. Hardy/Avi W post that we did not post. |
gasarch |
|
| 2024-04-18 |
Favorite Theorems: Quantum Provers |
Lance Fortnow |
|
| 2024-04-15 |
Avi Wigderson is a counterexample to TWO stupid thoughts of G.H. Hardy |
gasarch |
|
| 2024-04-11 |
Avi wins the Turing Award |
Lance Fortnow |
|
| 2024-04-09 |
Rance Cleaveland passed away on March 27, 2024. He will be missed |
gasarch |
|
| 2024-04-03 |
Answer to Question. MetaQuestion remains unsolved |
gasarch |
|
| 2024-04-02 |
A Math Question and a Meta Question |
gasarch |
|
| 2024-03-27 |
The Softening of Computing Jobs: Blip or Trend? |
Lance Fortnow |
|
| 2024-03-25 |
I know what A-B-C-D-F mean but what about V? X? HP? |
gasarch |
|
| 2023-09-04 |
The CONTRADICTION of Margaritaville and other songs |
gasarch |
|
| 2023-08-31 |
What Makes a Constructive Proof? |
Lance Fortnow |
|
| 2023-08-28 |
Theorems and Lemmas and Proofs, Oh My! |
gasarch |
|
| 2023-08-24 |
Transcripts for the 21st Century |
Lance Fortnow |
|
| 2023-08-22 |
Why I have some sympathy for the Simulation Theory (We are all characters in a video game.) |
gasarch |
|
| 2023-08-15 |
Turning Sixty |
Lance Fortnow |
|
| 2023-08-10 |
The Acting Professor |
Lance Fortnow |
|
| 2023-08-07 |
Permutable Primes and Compatible Primes |
gasarch |
|
| 2023-08-02 |
The College Visits |
Lance Fortnow |
|
| 2023-07-31 |
Another problem with CHATgpt |
gasarch |
|
| 2023-07-27 |
Paper Writing Before Overleaf |
Lance Fortnow |
|
| 2023-07-23 |
"Never give AI the Nuclear Codes" Really? Have you seen Dr. Strangelove? |
gasarch |
|
| 2023-07-19 |
More on Pseudodeterminism |
Lance Fortnow |
|
| 2023-07-17 |
Finding and answer to a math question: 1983 vs 2023. |
gasarch |
|
| 2023-07-13 |
Whither Twitter |
Lance Fortnow |
|
| 2023-07-10 |
A further comment on Chernoff--- and the future of .... |
gasarch |
|
| 2023-07-05 |
Automating Mathematicians |
Lance Fortnow |
|
| 2023-07-01 |
Chernoff Turns 100 |
Lance Fortnow |
|
| 2023-06-24 |
Can you put n pennies on an n x n chessboard so that all of the distances are distinct/how to look that up? |
gasarch |
|
| 2023-06-23 |
Don't Negotiate with Logic |
Lance Fortnow |
|
| 2023-06-18 |
Ted Kaczynski was at one time the worlds most famous living mathematician |
gasarch |
|
| 2023-06-16 |
Randomized Acceptances |
Lance Fortnow |
|
| 2023-06-10 |
Posting a book online with a password- that you broadcast. |
gasarch |
|
| 2023-06-05 |
Quantifiers: To Parenthesize or not to Parenthesize? Matrix of Formula: To Bracket or not to Bracket? |
gasarch |
|
| 2023-05-29 |
On Nov 10, 2014 the TV show Scorpion mentions Software that is like ChatGPT for Music |
gasarch |
|
| 2023-05-25 |
Finding Primes Pseudodeterministically |
Lance Fortnow |
|
| 2023-05-21 |
Logic and lack of Logic of Anti Vaxers |
gasarch |
|
| 2023-05-18 |
Community Guidelines that Ignore History |
Lance Fortnow |
|
| 2023-05-15 |
Take a number and map it to the number of letters in its name |
gasarch |
|
| 2023-05-11 |
Winter is Coming |
Lance Fortnow |
|
| 2023-05-09 |
Other Ramsey's |
gasarch |
|
| 2023-05-04 |
Breaking Ground in Isomorphism Testing: A Leap Forward for a Bottleneck Case of Group Isomorphism |
Lance Fortnow |
|
| 2023-05-01 |
There are an infinite number of proofs that there are an infinite number of primes |
gasarch |
|
| 2023-04-27 |
Comic Book Alignment |
Lance Fortnow |
|
| 2023-04-24 |
Thoughts on Gordon Moore |
gasarch |
|
| 2023-04-21 |
Health Tech |
Lance Fortnow |
|
| 2023-04-14 |
My Week at Simons |
Lance Fortnow |
|
| 2023-04-11 |
Complexity and Explainable AI |
Lance Fortnow |
|
| 2023-04-05 |
Neil Jones (1941-2023) |
Lance Fortnow |
|
| 2023-04-01 |
Who's on April First |
Lance Fortnow |
|
| 2023-03-29 |
Alan Turing, The Opera |
Lance Fortnow |
|
| 2023-03-27 |
The SIGACT Book Review column list of books it wants reviewed |
gasarch |
|
| 2023-03-23 |
A Strange Hiring Season |
Lance Fortnow |
|
| 2023-03-20 |
New Upper Bound on R(k). WOW! |
gasarch |
|
| 2023-03-17 |
Identities in Computational Complexity |
Lance Fortnow |
|
| 2023-03-13 |
Problems we assume are hard. Are they? ALSO- revised version of Demaine-Gasarch-Hajiaghayi is posted! |
gasarch |
|
| 2023-03-06 |
Peer Review |
Lance Fortnow |
|
| 2023-03-02 |
Goodbye Dilbert |
Lance Fortnow |
|
| 2023-02-27 |
I wish we had less students in a Class. Demographics says I may get my wish. |
gasarch |
|
