4 ms·
There's a lot of "it kind of worked" in here. If we actually want stuff that works, we need to come up with a new process. If we get "almost" good code from a
by giantg2 1y ago
There's a lot of "it kind of worked" in here.
If we actually want stuff that works, we need to come up with a new process. If we get "almost" good code from a single invocation, you just going to get a lot of almost good code from a loop. What we likely need is a Cucumberesque format with example tables for requirements that we can distill an AI to use. It will build the tests and then build the code to to pass the tests.
- ghuntley 1y agoStrangely enough, TLA+ and other formal proofs work very well for driving Ralph.
- giantg2 1y agoI would consider that expected but not strange. The thing blocking adoption is that most devs/people find those formal languages difficult or boring. That's even true of things like Cucumber - it's boring and most organizations care little for robust QA.