3 ms·
I think they know the standards of formal verification. They just surf the AI hype, whip up a verbose Python-like language that is worse than any existing prove
by asfq-01 16d ago
I think they know the standards of formal verification. They just surf the AI hype, whip up a verbose Python-like language that is worse than any existing prover language and have 20k bots star it.
This is the way to succeed these days.
- lemonlimesoda 15d ago[dead]
- LightMachine 15d agoYou just vaguely called the language "worse" without bringing a single concrete point. I can't defend my design choices without knowing what you don't like about it