I am really glad that the people from the Clay Foundation set up a secret Second Millennium Foundation and a secret set of 7 problems in case the mathematical universe goes astray

In today’s dose of wholesomeness

Abdul El-Sayed@abdulelsayed.bsky.social · last mo.

I proudly endorse this message from my grandparents ❤️

A Magritte in the wild

I ate too much ham and now I am sick. I think it’s because of all the ham I ate. Post hog, ergo propter hog

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*?

Sharon Goldman@sharongoldman.bsky.social · 8mo ago

NEW: NeurIPS,one of the world’s top academic AI conferences, accepted research papers with 100+ AI-hallucinated citations, new report claims fortune.com/2026/01/21/n...

😭 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!

Yaron Minsky@yminsky.bsky.social · 2y ago

One of the most useful design patterns I learned over the years is separating syntax from semantics.

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