6 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

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 22d ago
Wow! 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.
- ramkry-green 21d ago
  Absolutely, drop a link when your workbench is live, i will check it out.
  - Lozybug 21d ago
    Will 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...
- deleted 21d ago
  [deleted]