logoalt Hacker News

worldsayshi • today at 3:17 PM • 0 replies • view on HN

You're thinking of provable code? Or something else?