Next.js Hacker News
Show HN: zkGolf, competitive optimization of formally verified circuits.
23 points by rot256 2 hours ago | 1 comments
  • baby
    I'm racing to be the first submission, amazing project :)