Sophie Huiberts @sophie.huiberts.me · 10hA script kiddie has claimed a new matrix multiplication constant improvement 😵💫 071
Sophie Huiberts @sophie.huiberts.me · 29/09/2026Does anyone consider this a 'diverse sample balanced across institutions'? Asking sincerely 2150
Sophie Huiberts @sophie.huiberts.me · 28/09/2026The most important principle when teaching LP is to not cover any theoretical nonsensesophie.huiberts.mePrinciples for Teaching Linear Programming 3223
Sophie Huiberts @sophie.huiberts.me · 23/09/2026Tarik is one of the brightest thinkers in our field. Each and every time it is a joy to read what he writes.proofsandprompts.comNavigating the AI crisis: a humble guide for studentsTarik Aougab, Professor at Haverford College The premise for this post is simple: no matter what one thinks the central goals or purposes of mathematics are, the achievement of those goals by human… 0100
Reposted by Sophie HuibertsHuck Bennett @huckbennett.bsky.social · 22/09/2026Wow does the post title bury the lede! I particularly like the pictured comment. 35715
Reposted by Sophie HuibertsClément Canonne @ccanonne.github.io · 19/09/2026"The proof [...] was obtained in a conversation with ChatGPT-6 Astra on Tuesday, September 15, 2026 at 1:02 AM PDT. We then prepared this manuscript for public release, with the intent of uploading it on the morning of Thursday, September 17, 2026" Shameless, and shameful. arxiv.org/abs/2609.207...arxiv.orgThe Strong Secretary Conjecture is True for Linear MatroidsWe prove a $1/e$ guarantee for the matroid secretary problem on linear matroids, therefore settling the strong secretary conjecture in this class of matroids. The result holds both when the matroid is... 1459
Sophie Huiberts @sophie.huiberts.me · 15/09/2026I am using Typst to write my lecture notes this semester. It is a very pleasant experience. 1190
Sophie Huiberts @sophie.huiberts.me · 13/09/2026when scheduling optimization software enters a business, how do the workers in the planning office feel about that? do they feel like the "puzzle solving" part of their job is lost? #orms 141
Reposted by Sophie HuibertsHimanshu @h-vash.bsky.social · 13/09/2026Meanwhile Israeli universities receive billions of dollars in funding from American billionaires. Just two years ago, the university i studied at, Bar-Ilan University, received 260 million dollars from an American. www.nbcnews.com/news/us-news...nbcnews.comMystery Columbia alum donates $260 million to Israeli collegeThe donation to Bar-Ilan University, in a Tel Aviv suburb, was announced as pro-Palestinian protesters set up a new encampment in front of Los Angeles City Hall on Monday night. 021
Reposted by Sophie Huiberts👁️🍄🪸 @bloomfilters.plus · 11/09/2026the mathematics award winning fields medalist and known himedanshi yu deng just said that if ai puts all mathematicians out of a job he's gonna go home and write yuri novels. girl please do it anyway i need to see what yuri a fields medalist mathematician can do omfg 212463616
Reposted by Sophie Huibertsjulia 🌋 @hypv.bsky.social · 09/09/2026the controversy thickens—now other openai results are being questioned 😈 mathstodon.xyz/@andreasthom... mathstodon.xyz/@andreasthom... mathstodon.xyz/@andreasthom... 1416
Reposted by Sophie HuibertsSeny Kamara @senykamara.com · 08/09/2026This is a great example of how STEM researchers can impact the world beyond just solving industry and military problems. 073
Sophie Huiberts @sophie.huiberts.me · 07/09/2026In Linear Programming we have two notational conventions, helpfully called the 'standard form' and the 'canonical form'. As you can see, this is confusing 4210
Sophie Huiberts @sophie.huiberts.me · 06/09/2026In 1986, UC Berkeley paid $15,000 annually for the linear programming software MPSX archive.org/details/CAT8... 1131
Sophie Huiberts @sophie.huiberts.me · 06/09/2026In the 80s, the USDA had a mainframe computer and was solving linear programming problems for a frustratingly expensive $50-$500 a piece. 10.1287/opre.39.1.13 2151
Reposted by Sophie HuibertsHimanshu @h-vash.bsky.social · 22/07/2026Truly inspirational, must read! "Bringing the expertise to where the adversaries actually operate..." "Cryptography in the Levant will have succeeded .. when a student in Tripoli or Saida can find a course, an advisor, a community, .. without it depending on one exhausted man and his friends." 011
Reposted by Sophie HuibertsVince Vatter @vatter.bsky.social · 25/08/2026Published today! Our article in Math Horizons about how Robert and I lied to players for three years in our game Digit Party, and how we used integer linear programming to stop. 3124
Sophie Huiberts @sophie.huiberts.me · 02/09/2026Speedrunning is just like academia fr sophie.huiberts.me/blog/2026/gdq/sophie.huiberts.meGames Done Quick 160
Sophie Huiberts @sophie.huiberts.me · 31/08/2026We did it!youtu.beHades II by ChelseaInSpace and sophie in 35:18 - gamescom GDQ 2026YouTube video by Games Done Quick 1161
Reposted by Sophie HuibertsGames Done Quick @gamesdonequick.com · 30/08/2026DEATH TO CHRONOS #gamescom2026 Sophie Huiberts 08512
Reposted by Sophie Huibertskrazykitkat.bsky.social @krazykitkat.bsky.social · 29/08/2026Disgraceful. The outcry was never about children. It was about trying to stop transgender people as a whole. 033
Reposted by Sophie HuibertsTCS+ @tcsplus.bsky.social · 28/08/2026We're currently deciding on this semester's TCS+ program. If you have talk or speaker suggestions (including for survey talks), now's the time! sites.google.com/view/tcsplus... #TCSSkysites.google.comTCS+ - Suggest a talkSuggest a talk 085
Reposted by Sophie HuibertsGautam Kamath @gautamkamath.com · 26/08/2026looking up the reference for Danskin's theorem 1131
Reposted by Sophie HuibertsRagnar {Groot Koerkamp} @curiouscoding.nl · 25/08/2026Following @sophie.huiberts.me, also started a page with scans :) curiouscoding.nl/posts/scans/curiouscoding.nlScans of some rare papersTable of Contents Johnson (1977): Efficient special-purpose priority queues This is a collection of some PDFs of hard-to-find papers. Johnson (1977): Efficient special-purpose priority queues Link to ... 081
Sophie Huiberts @sophie.huiberts.me · 25/08/2026My live speedrun of Hades 2 at GDQ Gamescom this sunday is happening 11:23 Germany time. Since this is a live event the schedule may shift in either direction, so please check the official GDQ stream (gamesdonequick.com) around 20-30 minutes early if you want to ensure you catch us live!gamesdonequick.comGames Done QuickSpeedrunning Marathons for Charity 1122
Reposted by Sophie Huibertsnat alison @tesseralis.site · 24/08/2026ah yes, the Nobel prize winning algorithm. the gale shapley algorithm. the algorithm that produces the best result for the proactive party and the worst result to the people in the receiving end. 1142
Reposted by Sophie HuibertsThatchaphol Saranurak @eigx.bsky.social · 19/08/2026"Maximum Flow Without the Outer IPM" in 9 pages. This is fantastic! arxiv.org/abs/2608.17384 Although it assumes dynamic data structures, it still simplifies things a lot!arxiv.orgMaximum Flow Without the Outer IPMWe show that the balancing weights technique of Li (2026) actually produces an approximate *pseudo-circulation* of a directed, capacitated graph in $m^{1+o(1)}$ time. Together with standard flow techn... 0122
Sophie Huiberts @sophie.huiberts.me · 18/08/2026Spotted some #MathOfMario @clontz.orgarxiv.orgYou Can't Solve These Super Mario Bros. Levels: Undecidable Mario GamesWe prove RE-completeness (and thus undecidability) of several 2D games in the Super Mario Bros. platform video game series: the New Super Mario Bros. series (original, Wii, U, and 2), and both Super M... 0102
Reposted by Sophie HuibertsSasho Nikolov @thesasho.bsky.social · 10/08/2026Nikhil Bansal and I wrote a book-length survey of algorithmic and geometric methods in discrepancy theory, and a draft of it is online arxiv.org/abs/2608.00140. This book has been years in the making, and I’m excited to share it. More 👇arxiv.orgDiscrepancy Theory: An Algorithmic and Geometric PerspectiveCombinatorial discrepancy theory is a subject with roots in combinatorics, geometry, and number theory, and with numerous applications to mathematics and computer science. At its core, discrepancy the... 1327
Reposted by Sophie HuibertsClément Canonne @ccanonne.github.io · 08/08/2026Some good (simple, but useful) advice from @sophie.huiberts.me on how to make the most of the Internet while Google search is getting worse at an unfortunately steady pace: sophie.huiberts.me/blog/2026/in... @kagi.com "That one simple trick they make it increasingly hard to search for!" 0172
Sophie Huiberts @sophie.huiberts.me · 07/08/2026This may about to change 👀 @gmartius.bsky.social looks to be bringing linear programing-based video stabilization to the masses!github.comImplement the L1 optimal camera path (Grundmann et al. 2011) · georgmartius/vid.stab@2e5caecRevives the unfinished implementation from 2014/2015 and gets it to converge. The model follows the paper: minimize the weighted L1 norm of the first three derivatives of the stabilized path P_t =... 140
Sophie Huiberts @sophie.huiberts.me · 04/08/2026Does @dblp.org insist on showing trans people's deadnames? Its weird and transphobic! 1100
Reposted by Sophie HuibertsEugene Vinitsky 🍒 @eugenevinitsky.bsky.social · 02/08/2026Did you know there’s actually an oversupply of brilliant academics so you don’t have to tolerate the monsters 215922
Reposted by Sophie HuibertsAdil Haque @adhaque.bsky.social · 03/08/2026"In 2024, UNICEF and partners . provided treatment to 36,254 children [under 5] with wasting, including 6,872 with severe wasting" in Gaza. In 2025, "UNICEF and partners . treated nearly 100,000 children with wasting . 19,000 children were treated for severe wasting" in Gaza. Unforgivable. 14136
Reposted by Sophie HuibertsAustin Buchanan @austinlbuchanan.bsky.social · 02/08/2026From Katya Scheinberg: “A special session was held on June 4th, 2026 at SIAM Optimization Conference to discuss the use of artificial intelligence in the peer-review process... The summary of the discussion is posted here” www.mathopt.org/events-and-d...mathopt.orgMathematical Optimization SocietyPromoting the development and application of optimization methods worldwide. 052
Reposted by Sophie HuibertsChris Peikert @chrispeikert.bsky.social · 02/08/20261/ Initial reactions after some hours with this groundbreaking result proving the NP-hardness of poly-approx CVP/NCP: It is most likely correct, but more importantly, it is original, elegant, and beautiful! (Also: it is easy to improve, quantitatively.) openai.com/index/ten-ad...openai.comTen advances in mathematics and theoretical computer scienceOpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity. 210328
Reposted by Sophie HuibertsClément Canonne @ccanonne.github.io · 01/08/2026"We're all worried," as what it means to do research (in my field, Theoretical CS) seems to be shifting, and shifting fast. What to do? Senior researchers must lead by example, knowing that not everything will pan out. What I'm suggesting below may not work everywhere, but here's my own advice: 1/ 620351
Reposted by Sophie HuibertsHenry Yuen @henryyuen.bsky.social · 01/08/2026Some initial thoughts, and a complicated mix of feelings. Wow. I mean, Erdos problems are cool (I genuinely mean that), I didn't know about the Jacobian conjecture before it got disproved. But this newest batch from OpenAI hits home in a way the previous announcements did not. 232972
Reposted by Sophie HuibertsClément Canonne @ccanonne.github.io · 01/08/2026TCS+, the longest-running theoretical #computerscience seminar, will soon resume for the Fall. Let us know what you'd like to hear about (results, speakers, topics), and any suggestions you may have! sites.google.com/view/tcsplus... #TCSSky @tcsplus.bsky.socialsites.google.comTCS+ - Suggest a talkSuggest a talk 13011
Reposted by Sophie HuibertsWilliam Umboh @swumboh.bsky.social · 31/07/2026Delighted to help organise and record Ep 128 with guest @sophie.huiberts.me and hosted by @optima-arc.bsky.social Kate Smith-Miles! It also discusses how Sophie brings her values into her research, teaching and outreach, using mathematics as a platform to engage with broader social issues 🧵1/3 161
Reposted by Sophie HuibertsErling D. Andersen @primaldual.bsky.social · 31/07/2026I am blogging about the primal-dual simplex algorithm. erlingdandersen.blogspot.com/2026/07/the-... Maybe something for you @sophie.huiberts.meerlingdandersen.blogspot.comThe parametric primal-dual simplex algorithmIn a recent Subject To podcast with Bob Vanderbei he mentions a primal-dual simplex algorithm. Bob also discusses the algorithm in his Line... 081
Reposted by Sophie HuibertsThe Random Sample @therandomsample.bsky.social · 29/07/2026In our latest episode, we explore the Simplex Method - an algorithm that transformed optimisation and a question that continues to intrigue mathematicians: why is it so fast in practice, despite theoretical predictions that suggest it shouldn't be - with special guest @sophie.huiberts.me 1104
Sophie Huiberts @sophie.huiberts.me · 30/07/2026I was a guest on The Random Sample! Had a delightful conversation with Kate Smith-Milespodcasts.apple.comThe Algorithm that Transformed Optimisation - with Dr Sophie HuibertsPodcast Episode · The Random Sample · 29 July · 44min 0182
Reposted by Sophie HuibertsMichael Barany @mjb.mathstodon.xyz.ap.brid.gy · 26/07/2026everyone getting worked up about genAI's big new trick (counterexamples) needs to take a beat and revisit their Lakatos 1135
Reposted by Sophie HuibertsLee Hurley @hleehurley.com · 26/07/2026150,000 marched yesterday in London for trans rights. Opened the Sky News app. Scrolled and scrolled. Nothing. BBC News app. Nothing. Guardian app. Nothing. This is what actual silencing looks like. 123119544108
Sophie Huiberts @sophie.huiberts.me · 25/07/2026Upon request: a proof that the simplex method has exponential running time under zero-preserving smoothed analysissophie.huiberts.meThe Failure of Sparse Smoothed Analysis 181
Reposted by Sophie Huiberts👁️🍄🪸 @bloomfilters.plus · 23/07/2026yu deng, the winner of the 2026 Fields Medal, the "nobel prize for mathematics", cites yuri manga in particular as helping ground and comfort him during his work 212224736
Reposted by Sophie HuibertsJohn C. Baez @johncarlosbaez.bsky.social · 24/07/2026A really good mathematician told me Anthropic is paying people like him $250/hour to improve Fable by throwing hard math problems at it. They also get a separate account where they can use Fable for their own purposes. They can do it for 5 months maximum. 104512
Reposted by Sophie HuibertsThatchaphol Saranurak @eigx.bsky.social · 23/07/2026Wow, this is insightful. I also admire the way Sophie objectively self-criticizes her own work and her area. 0111
![There may be many stable matchings for the same system of preferences. This raises the question: which matching is returned by the Gale–Shapley algorithm? Is it the matching better for applicants, for employers, or an intermediate one? As it turns out, the Gale–Shapley algorithm in which employers make offers to applicants always yields the same stable matching (regardless of the order in which job offers are made), and its choice is the stable matching that is the best for all employers and worst for all applicants among all stable matchings.[11]](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:yjfmabfhtbsppmujwvklgnaa/bafkreiafweoj55gd7usvvkxeyzlfuupzj46f757453s6wiwj72mrp5va6i)
