← Back to context Comment by CrimsonRain 1 day ago that's a hard cope. You think humans don't make thousands of mistakes to come up with something good? 1 comment CrimsonRain Reply OxO4 1 hour ago Of course humans make mistakes, but (outside of Lean at least) they attempt to solve it with experience, understanding, and a certain amount of creativity instead of mashing things together until something works out.
OxO4 1 hour ago Of course humans make mistakes, but (outside of Lean at least) they attempt to solve it with experience, understanding, and a certain amount of creativity instead of mashing things together until something works out.
Of course humans make mistakes, but (outside of Lean at least) they attempt to solve it with experience, understanding, and a certain amount of creativity instead of mashing things together until something works out.