Sariel Har-Peled @handle.invalid · 06/10/2026Its not quadratic time. It is n^1.9992 time. Which is quadratic time for all values of n in this universe... Maybe it can be improved. 010
Sariel Har-Peled @handle.invalid · 02/10/2026It did simplify things for the reviewers. So mission accomplished? 110
Sariel Har-Peled @handle.invalid · 19/09/2026I believe the very strong secretary problem on inverted monoids is still open for the next 24 minutes if anyone is looking for a research problem. 070
Sariel Har-Peled @handle.invalid · 11/09/2026Tired of LaTeX spewing 500 lines for a missed $? Meet latex_it: 🧹 Clean dirs: build junk stays in junk/ 🎯 Pinpoints exact line where unclosed { or $ began 🚨 Alerts: catches silent bugs (e.g. inverted labels) 🤷 Whatevers: hides sub-mm noise. sarielhp.github.io/latex_it/sarielhp.github.iolatex_itFast, isolated, intelligent LaTeX compilation manager 021
Sariel Har-Peled @handle.invalid · 10/09/2026I would like nitty-picky to be an official acceptable phrase in English. Thank you for your attention to this matter. 020
Sariel Har-Peled @handle.invalid · 09/09/2026Well maybe not move it but definitely destroy it considering global warming. 030
Sariel Har-Peled @handle.invalid · 26/08/2026Congrats and hopefully less boring than the American ones. 110
Sariel Har-Peled @handle.invalid · 18/08/2026I think double blind had been taken too far, when the package tracker refuses to tell you who sent the package, where it is, instead listing anonymous information along the lines "the package had left the hub <timestamp>, arrived at hub <timestamp>, ... arrived to destination country... 000
Sariel Har-Peled @handle.invalid · 17/08/2026Help to check correctness and checking correctness are two different things. A pen can help checking correctness. Btw I do think thwt some automatic checks of writing quality would benefit everyone especially as the same tools can improve the writing... 000
Sariel Har-Peled @handle.invalid · 17/08/2026As for correctness many papers are not verifiable since they just lack critical low leveel details. Any verification of papers requires resolving many such issues, which only the authors can do. The automatic lean proofs are not that automatic as far as i understand... 100
Sariel Har-Peled @handle.invalid · 17/08/2026I dont advocate doing it but it is dramatically cheaper than what you are stating. Probably in the 20 cents range per paper if you use cheaper slightly weaker models. They wouldn't check correctness because we are not there yet anyway. 100
Sariel Har-Peled @handle.invalid · 15/08/2026Outrageous. Such theft is only legal for publishers of academic journals. 031
Reposted by Sariel Har-PeledDarth Putin @darthputinkgb.bsky.social · 06/08/2026Wildberries is moving to a cloud delivery model. 461420196
Sariel Har-Peled @handle.invalid · 03/08/2026This administration is a protection racket all the way down. I dont think there are any easy choices for university administration. In any case they needed only a few collaborators, real or imagined, so your statement is a bit too atrong. 100
Sariel Har-Peled @handle.invalid · 02/08/2026A lot of people making public judgements about math, llms, etc would benefit today from remembering that it is very hard to predict. Especially the future. 070
Sariel Har-Peled @handle.invalid · 01/08/2026Yeh.. I use gemini cli to maintain my Emacs setup (with github for version cobtrol). Pretty good. Gemini can definitely be a creep aometimes.... 010
Sariel Har-Peled @handle.invalid · 23/07/2026The failure of reality to follow the analysis of smoothed analysis suggest we need a new reality, not a new type of anslysis. As no new analysis would change the way lp solvers are used in practice. 130
Sariel Har-Peled @handle.invalid · 21/07/2026Google has real income outside ai. But yeh the market might panic.... 010
Sariel Har-Peled @handle.invalid · 21/07/2026The trump administration to disallow Chinese companies to export advanced llm models to China... 010
Sariel Har-Peled @handle.invalid · 15/07/2026Grunbaum's inequality states that for a convex, bounded body K in R^n, let c be its center of mass. Any halfspace containing c contains at least a 1/e fraction of the volume of K. Mind blown... 000
Sariel Har-Peled @handle.invalid · 15/07/2026Updated chapter on the Brunn-Minkowski inequality and several interesting applications, including the isoparemeteric inequality and Grunbaum's inequality. sarielhp.org/book/chapter...sarielhp.org 020
Reposted by Sariel Har-Peledcs-cg-arxiv.bsky.social @cs-cg-arxiv.bsky.social · 14/07/2026📚 New in arXiv cs.CG: How to Catch $k$ Grid Pointsarxiv.orgHow to Catch $k$ Grid PointsNew paper in cs.CG (Computational Geometry) 001
Reposted by Sariel Har-Peledcs-cg-arxiv.bsky.social @cs-cg-arxiv.bsky.social · 14/07/2026📚 New in arXiv cs.CG: The Quick Dog Jumps the Logarxiv.orgThe Quick Dog Jumps the LogNew paper in cs.CG (Computational Geometry) 001
Sariel Har-Peled @handle.invalid · 14/07/2026arxiv.org/abs/2607.09917arxiv.orgThe Quick Dog Jumps the LogWe give linear-time, and thus optimal, $(1+\varepsilon)$-approximation algorithms for numerous variants of the Frechet distance between $c$-packed curves (where $c \in O(1)$), removing an additional l... 010
Sariel Har-Peled @handle.invalid · 14/07/2026arxiv.org/abs/2607.10824arxiv.orgHow to Catch $k$ Grid PointsGiven a positive integer $k$, we study the problem of finding a convex polygon of minimum perimeter that encloses exactly $k$ points of $\mathbf{Z}^2$. We show that an optimal polygon is contained in ... 000
Sariel Har-Peled @handle.invalid · 22/06/2026Huh? First, empty the agency by firing everybody you can. Make it impossible to run, then put some random people in charge that makes random decisions, then watch as the agency effectively collapse and does not spend the money it is allocated. Not exactly a new playbook with this administration... 100
Sariel Har-Peled @handle.invalid · 17/06/2026I wouldn't worry - we can replace these students with LLMs... 220
Sariel Har-Peled @handle.invalid · 14/06/2026Emergency call for help where your car sends your location so somebody can come and help you. Good intentions... 120
Sariel Har-Peled @handle.invalid · 13/06/2026All cars started having it in 2018 because of European car regulations. Some cars had it earlier. 110
Sariel Har-Peled @handle.invalid · 13/06/2026Your car is spying on you, and sends the data [location, acceleration, etc] (potentially every few seconds) using its built-in SIMs. True of all new cars starting in 2018. www.bbc.com/future/artic...bbc.comTrillions of miles of data: Your car is spying on you, and it's only just the beginningFrom your weight and facial expressions to your destination, cars collect a startling amount of data about you. Some of it may even raise your insurance costs. 156
Sariel Har-Peled @handle.invalid · 13/06/2026You. Just need to find a COMPLETE joke, and then do conditional reductions of the form if X is funny then Y is funny. 020
Sariel Har-Peled @handle.invalid · 11/06/2026There is enough glory for everyone. If you worry about authors citation credit in the text, you are wasting energy (and other people's energy) on the wrong thing. I am also annoyed by this micro-management - let people write what people want to write... 000
Sariel Har-Peled @handle.invalid · 10/06/2026SODA 2027 CFP (www.siam.org/conferences-...) absurdly encourages using a citation style (to avoid using etal) that is in contradiction to *all* writing manuals: sarielhp.org/misc/blog/26... .siam.orgSODA27 Submissions | SIAMSubmissions for ACM-SIAM Symposium on Discrete Algorithms (SODA27) 110
Sariel Har-Peled @handle.invalid · 07/06/2026There was quite a bit of info in the Snowden leak about the usa spying on Israel. I mentioned rhe Liberty incident because it was interesting not as a proof.... 000
Sariel Har-Peled @handle.invalid · 06/06/2026The Liberty incident is quite interesting if you never heard of it... en.wikipedia.org/wiki/USS_Lib...en.wikipedia.orgUSS Liberty incident - Wikipedia 240
Sariel Har-Peled @handle.invalid · 06/06/2026Usa has long history of spying on Israel. The idea that this is one sided is hilarious. 220
Sariel Har-Peled @handle.invalid · 03/06/2026I imagine a fully streamlined Neuroips conference, unhindered by humanity's faults, where papers are written by LLMs, reviewed by LLMs, the presentations are prepared and presented by LLMs, and attended only by LLMs. Such a conference could be scaled to handle billions of submissions... 381
Sariel Har-Peled @handle.invalid · 03/06/2026Behold the new avatar... bsky.app/profile/cs-c...bsky.app 010
Sariel Har-Peled @handle.invalid · 31/05/2026The dinosaurs did not have a say if they get wiped out. We also would be wiped out if such an asteroid hits earth again. Also it was not not a meteor... 000
Sariel Har-Peled @handle.invalid · 29/05/2026Hmm. Kurt Vonnegut said that the only reason to use a semicolon is "to show you've been to college." And the only reason to use em---deshes it to show you are using AI tools or similar tools for your writing, as they went to college for you and paid attention in class... 010
Sariel Har-Peled @handle.invalid · 29/05/2026I installed not ai based grammar checker and it complains about this. It informed me all my dashes are wrong and belong to us... I assume they just use similar thing in their training. 110
