Hacker News new | ask | show | jobs
by keskival 583 days ago
LLM based automated verification surely isn't something that easily works out of the box, but that doesn't mean ventures shouldn't try to work on it.

The purpose of capital is to make progress from where we are now.