Hacker GitHub

← All repos

teorth/estimates

View on GitHub ↗ ★ 344 JavaScript

Code to automatically prove or verify estimates in analysis

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2025-05-02 · latest 2025-05-10

Mentions per year 3 mentions · busiest year 2025 (3)
20082026
AllStoriesComments NewestTopOldest
  1. 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....
    comment by esafak · 2025-05-02 · in A proof of concept tool to verify estimates
  2. …Not a big deal, just I don't trust myself to return the happy path if the middle could change. [1] https://github.com/teorth/estimates/blob/main/src/estimates....
    comment by turtleyacht · 2025-05-02 · in A proof of concept tool to verify estimates