arxiv.org/html/2005.10...

Here is my latest draft of my attempted proof, in Super-Exponential Arithmetic, that P is not equal to NP. I plan to verify this in Lean 4.6. I estimate it will take approximately another 3 years.

arxiv.org/html/2601.10...

I have a rather crazy idea that I have shown Reinhardt cardinals are not consistent with ZF. I first had the basic idea eight years ago but when I first made it public it needed a bit of work. My followers on BlueSky can give me gentle constructive feedback.

We will never forget what happened on January 6: Insurrectionists attacked our Capitol with the goal of overturning a free and fair election.

Thanks to our heroic Capitol Police, democracy prevailed.

We must keep fighting for our democracy — as we have for nearly 250 years.

Five years ago today, Donald Trump ignited a violent mob to attack the Capitol and disrupt the peaceful transfer of power.

Last year, Donald Trump pardoned over 1,500 of those insurrectionists.

It's an assault on American democracy.

5 years after the J6 attack on the Capitol, the threat to American democracy hasn't faded, it's grown more dangerous. Political violence has surged, trust in democratic institutions has plummeted to historic lows, and leading democracy experts now classify the U.S. as an "electoral autocracy."