Advertisement · 728 × 90

Posts by Sariel Har-Peled

Guest Post from Peter Brass, Former NSF Theory Director, on the NSF budget.  Guest post from Peter Brass, Former NSF Theory director (though not affiliated with the NSF now) on the White House NSF budget for FY 2027....

Former NSF theory program director Peter Brass guest posts on the state of the foundation.

1 week ago 12 9 1 0

Naa. Its how it ended. The webinar is the apocalypse....

Can't wait for my ai agent do my ethics training for me...

1 week ago 1 0 0 0

Just send your AI agent to attend them for you...

1 week ago 0 0 1 0

It is amazing that you can generate code that generates the following image, by just chatting with an AI agent (gemini-cli in this case)...
sarielhp.org/misc/blog/26...

1 week ago 1 0 0 0

The Dunning-Kruger-LLM effect is a cognitive bias where people with limited competence in a particular domain overestimate their own abilities since they asked an LLM to explain the domain to them.

1 week ago 2 0 0 0
Post image

They are eating the gold bunnies!

1 week ago 1 0 0 0
Péter Magyar: they are eating the ducks! – The Oxford Student OxStu's Ivett Berényi comments on Péter Magyar's 2026 election campaign and the political situation in Hungary.

They are eating the ducks, they are eating the goldfish...
www.oxfordstudent.com/2026/02/20/p...

1 week ago 0 0 0 0
Post image
2 weeks ago 0 0 0 0
Separator for $c$-Packed Segments and Curves New paper in cs.CG (Computational Geometry)

📚 New in arXiv cs.CG:

Separator for $c$-Packed Segments and Curves

2 weeks ago 0 1 0 0
Preview
ICE Agents Detain Newlywed Spouse of Soldier Training to Deploy

Words fail...
www.nytimes.com/2026/04/05/u...

2 weeks ago 1 1 0 0
Advertisement
Preview
Nikola Tesla Once Paid His Hotel Bill With A "Death Ray" Of Unimaginable Power

Tesla way of not paying his hotel bill...
www.iflscience.com/nikola-tesla...

2 weeks ago 0 0 0 0

web.maths.unsw.edu.au/~leezhao/Pro...
Supoosedly the proof by Chebychev was more complicated...

2 weeks ago 1 0 0 0
Proof of Bertrand's postulate - Wikipedia

If you look on the wikipedia proof
en.wikipedia.org/wiki/Proof_o...
With very little additional work, you get the even stronger fact, that the number of primes in 1...n is Theta(n/log n). By just mucking around with binom(2n,n) - I find this amazing.

2 weeks ago 2 0 1 0

Still uses computers to verify 4-coloring, but still seems like a major step forward on this problem - especially the algorithmic part. At 94 pages, it is not short and simple...

3 weeks ago 0 0 0 0
Engineering Fully Dynamic Convex Hulls New paper in cs.CG (Computational Geometry)

📚 New in arXiv cs.CG:

Engineering Fully Dynamic Convex Hulls

3 weeks ago 0 1 0 0

Yeh. The answers it provides are a mixed bug... (Typo intended.)

3 weeks ago 1 0 0 0

Sure. I was just wondering what it would generate as a test of its abilities. I was not advocating using what it generated... As first "here is what is going on", I think the writeup it generated is surprisingly not bad.

3 weeks ago 0 0 1 0

BTW, here is what I got from gemini after some minimal, hmmm, probing:
sarielhp.org/misc/blog/26...

3 weeks ago 0 0 1 0

Rooted trees, not rotted trees.

3 weeks ago 1 0 0 0

Might be easier to live in the rings of Saturn, where thing are noncommutative already..

3 weeks ago 0 0 0 0
Advertisement

Ask AI? There is a chance they would get it right.

3 weeks ago 0 0 0 0

I assume the unspoken paranoia is that they might have some Iranian agents among them. And Iran has shown no hesitation in conducting terrorist attacks abroad. But the Australian government is too chicken to label 4000 people they gave visas to as terrorists...

3 weeks ago 0 0 0 0

The logic seems to be that they might not want to go back to Iran, and might try to stay in Australia. HOW WOULD AUSTRALIA SURVIVE MAYBE 400 REFUGEES???? BTW, Australia and the USA can try and compete in the race to the bottom, but I know several countries already there...

3 weeks ago 1 0 1 0
Preview
Ribbit ribbit! Artificial Intelligence programs used by Heber City police claim officer turned into a frog An artificial intelligence that writes police reports had some explaining to do after it claimed earlier this month that a Heber City officer had shape-shifted into a frog.

AI strikes again...
www.fox13now.com/news/local-n...

3 weeks ago 1 0 0 0
Post image

From a paper I am reading...

4 weeks ago 5 0 0 0
Separators for intersection graphs of spheres New paper in cs.CG (Computational Geometry)

📚 New in arXiv cs.CG:

Separators for intersection graphs of spheres

4 weeks ago 0 1 0 0
23

Demonstrating a one-dimensional linear equation... (Written by gemini-cli).
sarielhp.org/misc/blog/26...

4 weeks ago 0 0 0 0

...but it would be a good starting point for making a talk for your paper. The results look so much better than Beamer. The presentation itself is written using a markdown file, which is pretty easy to learn/edit and use. You can use LaTeX math, @cite command, etc. It works really well.

1 month ago 0 0 0 0

(Using reveal.js.) You need to insist it uses the local bib file for the bibliography in the generated presentation. And viola, some time later, the presentation would be ready. You can, of course, specify the number of slides you want, etc. It would not be a good presentation....

1 month ago 0 0 1 0
Advertisement

A tip about making a first version of a talk quickly for an existing paper. Copy the LaTeX source to a new directory. Start gemini-cli (or claudecode or opencode or whatever AI CLI tool you have) in this directory. Then tell it to read the paper, and generate a Quarto presentation.

1 month ago 1 0 1 0