A proof of concept tool to verify estimates

https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept-tool-to-verify-estimates/

by jjgreen • 1 year ago

85 23 1 year ago

terrytao.wordpress.com

esafak• 1 year 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....

eh_why_not• 1 year 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• 1 year 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.

Ygg24• 1 year 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.

bcrosby95• 1 year 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.

chneu• 1 year 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?

apercu• 1 year ago

I use LLMs often - a few times a week. Every time I gain confidence in a model I get burned. Sometimes verifying takes longer than doing the task myself, so “AI” gets a narrower and narrower scope in my workflow as time goes by.

mhh__• 1 year ago

A lot of people just don't have the dexterity. Doesn't mean they're stupid necessarily (although the two do rhyme)

nottorp• 1 year ago

This comment is really sad:

https://terrytao.wordpress.com/2025/05/01/a-proof-of-concept...

A proof of concept tool to verify estimates

Related Stories