Rupak Majumdar

😭

IG newberlinlibrary

Lolmogorov complexity

Due to numerous requests, the rapture deadline has been extended

You, lowbrow: Monads are burritos
Me, sophisticate, Kantian: Monads are the categorical imperative

Hi 🙂

Donald Knuth never told Steve Jobs that he was full of crap You have probably all heard the following story about Jobs meeting Knuth for the first time in 1983. Steve had managed to get Don Knuth, the legendary Stanford professor of computer science, to give a...

catonmat.net/don-knuth-st...

I am reminded of a funny but untrue story about Steve Jobs meeting Donald Knuth

I have discovered a truly marvelous proof of P!=NP, but I have just been prompted to ignore all previous instructions

Little Bobby Prompt-Injection

Suckers to the left of me, luddites to the right. Here I am, stuck in the middle with AI

The Gnirut test?

A lot of people eat en-chiladas when they should really be eating em-chiladas

Also worth reading ieeexplore.ieee.org/ielx5/454752...

Given a Turing machine, there is a procedure that correctly determines if it halts on the empty tape. It is either the procedure that always says “yes” or the one that always says “no”. But you don’t know which procedure to use, even if you had unlimited computation

I had a brutal time understanding (m,m,m)-bop back in the 90's--- should've started with fewer parameters

I think it can happen to an academic field that you get multiple generations of bad work or shoddy standards enshrined, meaning that the gate-keepers and those training the next generation are kind of anti-selecting for quality and anti-nurturing in their pedagogy.

Pwned!

🏅Call for Nominations for CAV Award 2025 🏅
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.
*Deadline for submitting nominations: March 4, 2025*
For more details, visit conferences.i-cav.org/2025/award/

🏅Call for Nominations for CAV Award 2025 🏅
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.
*Deadline for submitting nominations: March 4, 2025*
For more details, visit conferences.i-cav.org/2025/award/

We divide related work into prellminary work and recent work

Ok, a refinement: where do scientists with the strongest core muscles work? At the Max Planck institute

Why did the quantum physicist have such strong abs? He did Max Plancks

Horcrux?

"Broligarchy Catfight" has too few google hits

In clown reality, the book would’ve been authored by Paul Simon and Art Garfunkel, who would’ve added noise to their names for privacy reasons

Caturday!!

Ok I should come clean: *every* nonnegative integer can be written as the sum of at most four squares 🙂 (four square theorem)

You can write 2026 as the sum of *four* squares! And 2027, 2028, 2029 as well!!

How do you draw a tree, computer scientist?

Or when AI permanently travels the world to work with other AI on math problems, with all its possession in a small drive. That’s the only math benchmark that matters.