HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by Jaxan | Hacker News Reader
Parent
Full thread
Jaxan
·
Wouldn’t a lot already be in leans mathlib?
View on HN
throw567643u8
·
AI is hopeless at using existing code, it likes to append only.
Reply on news.ycombinator.com