alt Hacker News> A proof of a basic todo list or something like that.
Just using a verb here would be a first step toward rigorous thinking. A proof that a todo list does what?
> A proof of a basic todo list or something like that.
Just using a verb here would be a first step toward rigorous thinking. A proof that a todo list does what?
I have a proof that shows that most of what you put on your todo list, you won't do. Please let me know where I should collect my Nobel Prize.