> A little research before vibe-coding an entire language and compiler could have substantially improved the result because the author would have known what to ask for.

A little research before writing and publishing a personal attack like this could have substantially improved the result because the author would have known what they're writing about

Victor is not a formal verification noob as this article suggests