The "this wasted my time" comments are missing the point... In addition to his great sense of humor, Steve is usually ahead of the curve in terms of trends. Th

The "this wasted my time" comments are missing the point... In addition to his great sense of humor, Steve is usually ahead of the curve in terms of trends. There's a lesson in this. LLMs have become incredible constraint solvers ("SAT-solvers for code"). Well-thought-out tests, types, specs, and docs are all incredibly valuable constraints. This has big implications - for example what happens to licenses when you can cheaply rewrite the codebase and therefore unencumber it.