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
Out of stock? outfoxed? have no fear, the icalp deadline is near
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*?
On its various islands that are hard to find and sometimes even see… an apt metaphor for PL research, no?
Did you know that 2026 can be written as the sum of—-not one, not two, not three—but FOUR squares? The next time this will happen is 2027
www.gsjournal.net/Science-Jour...
We … had sent you our manuscript for publication and had not authorised you to show it to specialists before it is printed. I see no reason to address the – in any case erroneous – comments of your anonymous expert. On the basis of this incident I prefer to publish the paper elsewhere.
😭
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 🙂
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/
