Comment by Animats
5 hours ago
Is the posting a description of a real system, or just imagination? Is there a link to something that makes this real?
5 hours ago
Is the posting a description of a real system, or just imagination? Is there a link to something that makes this real?
It is very fluffy, but the idea of using formal methods works. It just never settles down… the workflow keeps improving and changing. You don’t need stable tools
Imagination? More like hallucination - the AI-generated kind.