Hacker News new | ask | show | jobs
by hl_maker 233 days ago
In non deterministic computation, verificaition will be key challenge. Curious to see how companies address this.