Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.

Thrilled to give a keynote at ACM India's ISEC'26 in Jaipur this Friday! How do we know whether our program has no bugs if we have never seen it have any, and if we don't even have anything (i.e., an oracle) that can tell us whether a behavior is a bug or feature? Stick around till Friday!

vibe static analysis changelog Problem: Too many false positives Solution: added to context “IMPORTANT: you must not produce too many false positives” 🤯

I am delighted to report that my theoretical results are in so much demand that I have just been informed they are out of stoc

Psychophant

it is time for the Neurips community For some introspection about the scientific method. The solution to made-up scholarly attribution is not “we will open the server for camera ready again”.

What is wild to me is the defense, BY THE NEURIPS BOARD, that fabricated citations do not mean "the content of the papers themselves [is] necessarily invalidated" It does. It very much does. What do you think citing other work is for? What do you think writing a paper is for? What do you *think*?

😭 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