Hacker News new | past | comments | ask | show | jobs | submit
On the other hand, "Proving and improving" shows a lot of hits in Google Books: https://www.google.com/search?udm=36&q=%22proving+and+improv...

It's possible that you both hit upon or recalled the same cool phrase, especially if the "proving" part was pre-decided and you were thinking of making an incremental improvement.

{"deleted":true,"id":50327559,"parent":50327473,"time":1793553443,"type":"comment"}
True, I agree but but its eerie they were written 2 days apart. Resting my case, thanks
it would be interesting to get to know if the authors used claude to get the title.