But the art field is making final products that have no formal correctness. The programming field is making infrastructure that never gets seen by end users, and we do have formal verification. Two completely different things.
The skill collapse already happened after the 90s which is why all the software is so shit right now. Now the competent people can take over again and rewrite everything in immutable functional languages with complete unit test coverage and viral copyleft licenses.
I work with frontier models every day that I participate in gainful employment activities, and I don’t think I would call them reliable. Definitely not reliable enough to design complicated software correctly on a language there’s relatively little training data on.
But the art field is making final products that have no formal correctness. The programming field is making infrastructure that never gets seen by end users, and we do have formal verification. Two completely different things.
The skill collapse already happened after the 90s which is why all the software is so shit right now. Now the competent people can take over again and rewrite everything in immutable functional languages with complete unit test coverage and viral copyleft licenses.
Great, so why has that not happened?
Cause the models have only been reliable for like 6 months, and only cheap for the past two weeks
I work with frontier models every day that I participate in gainful employment activities, and I don’t think I would call them reliable. Definitely not reliable enough to design complicated software correctly on a language there’s relatively little training data on.
Cool! Where is the git repo?
Im still working on it but you can use Pharo for now