Hacker News new | ask | show | jobs
by _alex_ 653 days ago
Yeah prover time is the big challenge rn