5 ms·
When I see stuff like https://news.ycombinator.com/item?id=42994610 https://news.ycombinator.com/item?id=42994610 (continued in https://news.ycombinator.com/ite
by layer8 2y ago
When I see stuff like https://news.ycombinator.com/item?id=42994610 https://news.ycombinator.com/item?id=42994610 (continued in https://news.ycombinator.com/item?id=42996895 https://news.ycombinator.com/item?id=42996895), I think the field still has fundamental hurdles to overcome.
- lordswork 2y agoThis kind of error doesn't really matter in programming where the output can be verified with a feedback loop.
- layer8 2y agoThis is not about the numerical result, but about the way it reasons. Testing is a sanity check, not a substitute for reasoning about program correctness.
- tmnvdb 2y agoWhy do you think this is a fundamental hurdle, rather than just one more problem that can be solved? I dont have strong evidence either way, but I've seen a lot of 'fundamental unsurmountable problems' fall by the wayside over the past few years. So I'm not sure we can be that confident that a problem like this, for which we have very good classic algorithms, is a fundamental issue.