iiinova — where your digital self keeps evolving

Rupak Majumdar @rupakmajumdar.bsky.social · 11/09/2026

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

001

Rupak Majumdar @rupakmajumdar.bsky.social · 12/08/2026

In today’s dose of wholesomeness

010

Rupak Majumdar @rupakmajumdar.bsky.social · 13/07/2026

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

140

Rupak Majumdar @rupakmajumdar.bsky.social · 19/03/2026

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

197

Reposted by Rupak Majumdar

Marcel Böhme @mboehme.bsky.social · 17/02/2026

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!

1122

Rupak Majumdar @rupakmajumdar.bsky.social · 10/02/2026

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

040

Rupak Majumdar @rupakmajumdar.bsky.social · 01/02/2026

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

230

Rupak Majumdar @rupakmajumdar.bsky.social · 24/01/2026

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”.

030

Reposted by Rupak Majumdar

Clément Canonne @ccanonne.github.io · 21/01/2026

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

1624675

Reposted by Rupak Majumdar

derek guy @dieworkwear.bsky.social · 06/10/2025

😭 IG newberlinlibrary

210160003486

Rupak Majumdar @rupakmajumdar.bsky.social · 20/08/2025

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

020

Rupak Majumdar @rupakmajumdar.bsky.social · 22/07/2025

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

050

Rupak Majumdar @rupakmajumdar.bsky.social · 14/05/2025

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

030

Reposted by Rupak Majumdar

lastpositivist.bsky.social @lastpositivist.bsky.social · 06/04/2025

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.

1525633

Reposted by Rupak Majumdar

CAV @confcav.bsky.social · 27/02/2025

🏅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/

conferences.i-cav.org

CAV Award | CAV 2025

The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification. #### NOMINATION Anyone can submit a nomination. The Award Committee can...

084

Rupak Majumdar @rupakmajumdar.bsky.social · 27/02/2025

conferences.i-cav.org

CAV Award | CAV 2025

040

Rupak Majumdar @rupakmajumdar.bsky.social · 25/02/2025

We divide related work into prellminary work and recent work

020

Rupak Majumdar @rupakmajumdar.bsky.social · 22/01/2025

"Broligarchy Catfight" has too few google hits

020

Rupak Majumdar @rupakmajumdar.bsky.social · 21/12/2024

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

000

Rupak Majumdar @rupakmajumdar.bsky.social · 21/12/2024

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.

100

Rupak Majumdar @rupakmajumdar.bsky.social · 22/11/2024

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

100

Rupak Majumdar @rupakmajumdar.bsky.social · 14/11/2024

Did Trump nominate Incitatus in his cabinet yet?

000