When a mathematician finds a clever new argument, they get credit for that. But they also get a responsibility: to see what other problems can be solved now. When capital solves a problem, who inherits that responsibility?

And that's a wrap for the semester! All the talks of the season are now available on our website: sites.google.com/view/tcsplus... and YouTube channel: www.youtube.com/@TCSplusSemi... Thank you to all attendees, and to our wonderful speakers—and see you in the Fall! #TCSSky #TheoreticalCS

Sensitivity analysis is getting hot again at the #mip2026 workshop! First, Anna Deza talked about new work on generalized sensitivity on linear programs and mixed-integer linear programs. 1/N

emailed viXra asking for their opinion on the arXiv AI policy changes. they're at least as credible as the guys complaining it's too much work to check that their references exist, so i feel they ought to have their pov represented

I submitted a speedrun for GDQ and I am more nervous than when submitting my research for publication 😅

May 9: computer scientist wins prize for his academic blog May 13: blogpost with genocide denial What must we learn from this?

#ResistanceRoots Ida Rhodes was born on this day in 1900 in Kamianets-Podilskyi, Ukraine. She was a mathematician, computer programmer and lecturer who was instrumental in early computer development in the U.S. She was also a fierce advocate for the disabled, often at great personal sacrifice. /1

The Mathematical Tables Project was designed for the structurally unemployed. The workers were unskilled, and many had disabilities and long-term illnesses. Rhodes stepped up to act as a daytime caregiver while also helping to pioneer workflow logic so the workers could perform the calculations. /5

Noel also provided a matching dual bound, obtained by solving a large linear program that colored the pixels of A0 paper. The proof idea is a weighted generalization of the “how many dominos can you place on a chessboard if two corner white squares are removed?” youtu.be/zDKBCIMkDbw?...

📢 Streams for #ISMP2027 Working on a paper? With 25 streams spanning theory, algorithms, and applications, ISMP 2027 offers a place to present and discuss your latest research in mathematical programming. 📄 Submissions open on September 1, 2026! 🗓️ July 25–30, 2027 📍Amsterdam 🔗 ismp2027.mathopt.nl

“Not used to speaking about politics” does not necessarily mean “not thinking about politics,” but I do wonder whether it makes a person less likely to ask why it is that they are being given privileged access.

Registration is open and is entirely fee-free! www.mixedinteger.org/EUROMIP/2026...

I really like this. I still have an urge to refine it, to say that such a "product" is somewhere in the synthesis of a researcher and their research (project). But it's about a human understanding something new and showing that they do. All about the person.

Them: “noooo you can’t just claim that ALL algorithms are afflicted by the biases and opinions of their inventors” Me, pointing at pathological behaviors of quicksort and linear memory overhead of mergesort: “biases and opinions”

Extraordinary visualization of the starvation campaign in Gaza by Liat Kozma and Lee Mordechai (Hebrew U): bearing-witness.com/starvation-s...

Mathematical Optimization, Full Professorship (W2) @rwth.bsky.social areas: continuous, stochastic, discrete optimization, convex/non-convex analysis, variational methods, non-smooth/set-valued analysis, optimal control, and/or inverse problems #orms berufungsportal.rwth-aachen.de

For balls in R^n of volume 1, the radius is like √n. Surprisingly, most of the mass can be found inside a slab of width 1 around the equator. Only today did I realize that the all the cool concentration inequalities (Azuma, Hoeffding, McDiarmid) prove the same fact for the cube!

I am now one billion seconds old 🥳

Always a joy to see a new paper by Ragnar

knowing your basics is so very important

arxiv.org/abs/2604.16192 Ed is pretty productive these days. Another paper on LP solving, comparing simplex, barrier and PDHG on artificial models.

**SAVE THE DATE** The second edition of the Mixed Integer Programming (MIP) European Workshop, will be held at Diag, Sapienza Università di Roma (Italy) from October 19-21 2026. www.mixedinteger.org/EUROMIP/2026/

Invited speakers announced! The second MIP European Workshop will take place at Sapienza University of Rome, Italy, from October 19–21, 2026. I hope to see many of you there! www.mixedinteger.org/EUROMIP/2026...

Happening in 35 minutes. Eleon will explain the new best understanding of the simplex method's running time

Hot take but the importance we attach to the Millennium Prize Problems should decrease with inflation

Absolutely heartbreaking. So many mathematicians I know studied there, men AND women. Maryam Mirzakhani studied there. If this isn't enough to cancel/relocate from the US the International Congress of Mathematicians #ICM2026, nothing will be.

🚨 80% of Nobel Prizes go to folx in 5 countries. Why? We analyzed 75 years of prize committees, nominators, nominees, and laureates... a network of 500k edges. Turns out nominators choose compatriots at 5x the expected rate — amplifying geographic bias. Read: osf.io/preprints/so... #AcademicSky

13 PhD positions in in applied #maths, #orms, engineering, or CS within the ALMOA consortium -> study applications of European and international relevance in areas such as sustainable energy systems, green gogistics, etc. almoa.aau.at?page_id=53

The first MIP solvers have told me that they will try our modified perturbations. Hopefully its as big an improvement in practice as in theory 🙏

📢 Semi-Plenary Speakers for #ISMP2027! We are pleased to announce the semi-plenaries for the 26th International Symposium on Mathematical Programming. Join them to explore advances, challenges, and opportunities in mathematical optimization. 🗓️ July 25–30, 2027 📍Amsterdam 🔗 ismp2027.mathopt.nl #MOS

MIP European Workshop 2 October 19-21, Rome This is my favorite event in the world. Save the date

I have started using chuuchuu to keep up to date on my train schedule, as well as when planning routes. It is very nice

Congrats to men everywhere for continuing your Turing Award streak

GAMS is doing a new MIP benchmark. They have a clever workaround for DeWitt clauses to include commercial comparisons

I had assumed that the harm from DOGE cuts would fall hardest on non white men but this is astonishing. Read the rest for profiles of hardworking women who just wanted to help the public, and who were hastily fired by presumably a white adolescent empowered by Musk/DJT.

As it did four years ago, the international mathematics community faces a clear choice about what its highest values and aspirations mean. docs.google.com/forms/d/e/1F...

Since SIGACT is on X but not BlueSky,* advertising the SIGACT Distinguished Service Award here, "given annually to an individual or group who has made substantial service contributions to the Theoretical CS community" #TCSSky ⏰ Nominate by April 30! sigact.org/prizes/servi... *I know. Ugh.

You've probably heard of hit game enclose.horse by now. Place 10 segments of wall to make the horse unable to escape, while enclosing maximal surface area. Obviously in NP, unclear if its NP-complete. Time for some mathematical optimization 🧵

enclose.horse is a game in which you enclose a horse. You start with a map like this with water, fields, and horse. dynomight.substack.com/p/horse

Last week this game gave away the optimal value for all puzzles, and everyone I spoke with said that it killed all the suspense. That means what's interesting is not just finding a good solution, but also convincing yourself of its quality

It was my pleasure speaking with @nutanlimaye.bsky.social about her podcast "Life of a Researcher". Check out the interview in the post below and listen to her great podcast. podcastaddict.com/podcast/life-of-a-researcher/4111736

Welcome to BlueSky, @eatcs.bsky.social! I suggest everyone to follow the new account to stay up to the date with news from the European Association for Theoretical Computer Science.

Ig Nobels more locationally conscious than most non-parody conferences

We all know what the results will be

I highly recommend this column by Hongseok Yang and two of his students giving a formal logic take on a powerful method from extremal combinatorics.

Sauce a follow while we figure out the right way to post online as a professional org haha

The EATCS is now on bsky!

Harrowing. Draws on work by @oonahathaway.bsky.social and @tomdannenbaum.bsky.social

Book recommendation: Street-Fighting Mathematics by Sanjoy Mahajan I read this early in my PhD, and it's been with me ever since. Chapter 1 grants a superpower that I cannot imagine living without.