Y
Hacker News
new
|
ask
|
show
|
jobs
by
EmptyDrum
100 days ago
I feel like that this is fundamentally impossible to solve for. Approximately the effort = planning + checking correctness seems to be constant.