Congratulations to the new White House Press Secretary

PROGRAMMING ANNOUNCEMENT: Sean Spicer episode of DWTS will be replacing state-run assassination from Fort Hood.

True story: I bought a charging cable from Apple last year, and it’s already broken.

Great, so we can't look up to Kimberly Guilfoyle anymore?

I am angry tonight. Because tonight ICE shot a New Yorker. They shot a New Yorker while his five year old child was in the car. ICE makes this city less safe. We want them out. Now.

After 10 years, my scathing posts are having an effect

lol

All news about AI solving hard math problems looks like this: “Curtains for Zoosha’s conjecture? K-smog and Batboy proved factoring a noncommutative grunt.”

so true, it's like a terrible movie

Am I actually alive? Is this a dream/hallucination? Is this some weird afterlife?

Surviving a botched execution is the ultimate good news-bad news situation

Thought it didn't need to be said, it's so obvious

Political Consultant: Voters are terrified of Artificial Intelligence. Donald Trump: Let's call it Super-Intelligence.

if deduction is not reasoning, then I don't know what is. But I suspect we agree a lot about LLMs and reasoning, as I talk about in the piece. Thanks.

Thank kween

I had no interest in such things until Scott Shapiro showed up in my feed. I'm grateful for him and every teacher whose goal it is to educate the masses.

The theorem proving I describe in the piece definitely counts as reasoning.