3 ms·

Is the posting a description of a real system, or just imagination? Is there a link to something that makes this real?

• zozbot234 8mo ago
  Imagination? More like hallucination - the AI-generated kind.
• rsrsrs86 8mo ago
  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