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.