jorgegalindo 172 karma 8y 1m on HN HN profile →
Coverage
We've seen 1 of ~24 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. AI thinks your code is correct, but it can not prove it (predictablemachines.com)
4 points by jorgegalindo 5 days ago | 1 comments | skipped