4 ms·
Combining generative ML (and other heuristic methods) with formal methods is the most promising way forward for systems design. Without formal methods (and othe
by lambdaone 1y ago
Combining generative ML (and other heuristic methods) with formal methods is the most promising way forward for systems design. Without formal methods (and other constraints such as limiting systems complexity) we are going to vibe-code ourselves to chaos.
- qayxc 1y ago> we are going to vibe-code ourselves to chaos. To be fair, we've been doing that even without AI for the past 5 decades.