😭

IG newberlinlibrary

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

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

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

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.

🏅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

"Broligarchy Catfight" has too few google hits

Caturday!!

Semanpalindrome: When you write the word "meaningless" in reverse, the new word is also meaningless!

Philosophy of science. To this day, whenever I see a non-black, non-crow, I am secretly pleased at my improved certainty that all crows are indeed black.

We follow each other, under the blue sky, silently consuming empty walls of thoughts never expressed.

Did Trump nominate Incitatus in his cabinet yet?

Hello world