Looking for inspiration for your #FOCS2025 pre-recorded talk? Check out this video youtu.be/Ygu5m-yPFhg

Update: yes. In addition to their in-person talks, authors will have the option to upload a pre-recorded video, to be made available on the #FOCS2025 YouTube channel. Expect an email by the PC chairs shortly!

Suppose you roll a skill check with disadvantage using two indistinguishable dice. Afterwards, you remember that disadvantage did not apply. What can you roll to fix this situation fairly?

Do we know if @focs2025.bsky.social is doing video recordings this year?

We uploaded a new version with links to Omer Reingold's "Research Life Stories", to Luca Trevisan's series of posts about gay and lesbian computer scientists, and so on. Check out the updated version: eatcs.org/images/bulle... The links are also in the comment below. Happy reading!

I wonder whether something similar can be done in the field of NP-hard problems, to obtain polynomial complexity results by similar (algorithmically mild) assumptions on scaling, perturbations, etc. This would shed light on why we are able to solve knapsack and TSP problems to very high dimension.

Tell your friends! Warn your enemies! @mathandcobb.bsky.social will be sharing his take on Math in the Age of Social Media on Monday at the next @code4math.org Convening! Join the conversation on our Zulip: code4math.zulipchat.com#narrow/chann...

Does there exist a commonly used public instance benchmark set for robust optimization? Or sets of instances which are frequently used within the literature?

I hope that STOC is getting good money for their Google LLM collab

speedrunners theoretical computer scientists 🤝 calling a milestone a "barrier"

Israel is obstructing aid deliveries to Gaza using a controversial new registration system for international NGOs, and in the first 12 days of the ceasefire, Israel had denied 99 requests to deliver aid to Gaza. www.ft.com/content/676b...

We have a call for contributions. Check out the text post on the channel for details.

Still got my head in the clouds about this. The paper is really out now 😍

Alongside the new bulletin, is the first video on the new EATCS Youtube channel! We learn about different ways to record your seminar talks.

The recent popularity of PDHG algos for LP has been inspiring. Today FICO had a new release, shipping their own GPU-accelerated PDHG This is a big moment for people to think about feasibility tolerances

Interesting work on closing the gap between theory and practice of the simplex algorithm.

!!

Good stuff. Scientific software and in particular optimization codes are everywhere, yet the magic sauce is often proprietary and found heuristically. Analysis such as this one is net progress for the field.

Really really cool work! Instead of classic worst case analysis or next smoothed analysis, this now gives a linear bound on simplex algorithms _as implemented_! We need more practical CS!

I know what I'm reading on my train trip this week! Sophie and Eleon bridging the gap between analysis of algorithms and real-world computational optimization 🎉

The simplex algorithm is super efficient. 80 years of experience says it runs in linear time. Nobody can explain _why_ it is so fast. We invented a new algorithm analysis framework to find out.

if you can believe it, the recent smoothed analysis result was just happy byproduct from this research 👇

keep your eyes out for sunday's arxiv drop 👀 best paper i have ever written, maybe the best paper i will ever write

i get to write an entire page bragging about my student and their awesome research?! recommendation letter writing is fun

The challenge this year is GPU-accelerated primal heuristics. I am exciting to see what people will cook up!

Integer Set Library (ISL) - A Primer https://www.jeremykun.com/2025/10/19/isl-a-primer/

last chance to get in before we hit 100 subscribers

The practical vs theoretical performance gap of the simplex method is closing. Fine work by @sophie.huiberts.me et al summarised nicely in @quantamagazine.bsky.social.

You can also start to think about pitching your own video :) We will take submissions. More info on that later

join the wave

We will be rebooting the EATCS Youtube channel soon. Subscribe now to get in on the ground floor!

In optimization problems, randomness thwarts complexity.

The simplex method is an algorithm that turns an optimization problem, like setting up an investment portfolio, into a geometry problem. Recently, the scientists Sophie Huiberts (left) and Eleon Bach reduced the runtime of the simplex method. www.quantamagazine.org/researchers-...

There is a lot to choose this election. People are championing everything from "journals should be cheaper" and "lets fight climate change" to "organize more in-person events" and "we should do more AI" If you (re)new your membership, you are immediately able to vote.

The previous smoothed analysis paper is now published in TheoretiCS. It is a diamond open access journal and it was a very pleasant experience submitting there. If you have a strong theory paper, I highly recommend sending it there!

@sophie.huiberts.me is featured in a Quanta magazine article about the simplex method. www.quantamagazine.org/researchers-...

Tijn de Vos and Antoine Amarilli write about EATCS General Assembly elections from the climate perspective: tcs4f.org/eatcs-electi...

suppose you claim your mathematics has an application, but its fake. is that scientific misconduct?

apparently super mario 64 gamers are constantly approximating the arctan function??

what (also) sucks about privatization of essential services is freedom of information laws no longer apply. even when gov owns 100%

For nearly 80 years, an algorithm called the simplex method has been one of the most widely used tools for when a logistical decision needs to be made under complex constraints. A new update makes it faster than ever. www.quantamagazine.org/researchers-...

check out this quanta article about our recent work! Eleon will present it at @focs2025.bsky.social this december

We've finally been able to put our humanitarian scale-up into motion, bringing hope and relief to Gaza. On Sunday, vital aid including medicine, food, fuel and, for the first time in months, cooking gas entered the Strip. Humanitarians need the world's support to keep going: https://bit.ly/47n7Onp

found an IRL linear program, took some pictures

we need more anti capitalist operations research

Computer Science is no longer just about building systems or proving theorems--it's about observation and experiments. In my latest blog post, I argue it’s time we had our own "Econometrics," a discipline devoted to empirical rigor. doomscrollingbabel.manoel.xyz/p/the-missin...

Just learned that cryptographers are a lot more creative than the rest of us with their videos. Sharing my three favorites: 1: lattice-based zero-knowledge proofs rap

As aid trickles into Gaza, famine-related deaths keep rising. The Gaza Health Ministry warns that “mass death” will soon be seen among infants, as mothers feed them “water instead of baby formula.” mondoweiss.net/2025/10/our-...

Some news about active set methods.

SODA notifications are in the inboxes, and this paper will be in the conference :) This is my second paper using extended formulations to prove running time lower bounds. I am surprised that people have been sleeping on this angle, but happy to fill in the gap where needed