4 ms·
Spot on—focusing AI on strict specification design rather than raw code generation fixes the core issue of probabilistic drift, giving us deterministic safety w
by ramkry-green 1mo ago
Spot on—focusing AI on strict specification design rather than raw code generation fixes the core issue of probabilistic drift, giving us deterministic safety with modern speed
- Lozybug 1mo agoWow! Thank you. You've got it. If I put up more info on this and what I'm doing (I'm building a tech demo workbench based on these ideas) would that be of interest? Are you doing anything yourself in this area? You obviously understand the process and the issues.
- deleted 1mo ago[deleted]
- ramkry-green 1mo agoAbsolutely, drop a link when your workbench is live, i will check it out.
- Lozybug 1mo agoWill do. In the meantime here's a recent article from my Substack: https://formalmethodsai.substack.com/p/stop-asking-ai-to-write-your-code https://formalmethodsai.substack.com/p/stop-asking-ai-to-wri...