Proofs are cheap now. Specs are next

 (genproof.com)

14 points | by torutofu 4 hours ago ago

1 comments

  • maxppap 3 hours ago ago

    it’s insane great work!