Hacker News new | ask | show | jobs
by spolu 2102 days ago
(30k proofs to be precise, valid and test are each 1k)