A proof of concept tool to verify estimates

53 jjgreen 9 5/2/2025, 7:09:22 PM terrytao.wordpress.com ↗

Comments (9)

eh_why_not · 12h ago
The ChatGPT session he links [0] shows how powerful the LLM is in aiding and teaching programming. A patient, resourceful, effective, and apparently deeply knowledgeable tutor! At least for beginners.

[0] https://chatgpt.com/share/68143a97-9424-800e-b43a-ea9690485b...

nh23423fefe · 12h ago
I'm constantly shocked by the number of my coworkers who won't even try to use an LLM to get stuff done faster. It's like they want it to be bad so they don't have to improve.
bcrosby95 · 9h ago
Maybe they have tried and found it lacking?

I have an on again off again relationship with LLMs. I always walk away disappointed. Most recently for a hobby project around 1k lines so far, and it outputs bugs galore, makes poor design decisions, etc.

It's ok for one off scripts, but even those it rarely one shots.

I can only assume people who find it useful are working on different things than I am.

kevmo314 · 7h ago
Yeah I'm in the holding it wrong camp too. I really want LLMs to work, but every time I spend effort trying to get it to do something I end up with subtle errors or a conclusion that isn't actually correct despite looking correct.

Most people tell me I'm just not that good at prompting, which is probably true. But if I'm learning how to prompt, that's basically coding with more steps. At that point it's faster for me to write the code directly.

The one area where it actually has been successful is (unsurprisingly) translating code from one language to another. That's been a great help.

Ygg2 · 9h ago
And I'm constantly shocked by number of people still shilling for it, despite it hallucinating constantly.

Plus having used it in JetBrains IDE it makes me sad to see them ditching their refactoring for LLM refuctoring.

regularjack · 7h ago
The normal refactorings are still there AFAICT.
Ygg2 · 54m ago
That implies that they were there in the first place. For some IDEs the refactoring are essentially rename, and buy JetBrains AI plugin.
chneu · 9h ago
Some people just don't want to use AI and there are very legitimate reasons for that.

Why are you so willing to teach a program how to do your job? Why are you so willing to give your information to a LLM that doesn't care about your privacy?

esafak · 13h ago
Nice to LLMs being put to such use! I see the heavy lifting here is due to linear programming:

https://github.com/teorth/estimates/blob/main/src/estimates....