Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jkingdon2000
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
jkingdon2000
7y ago
For those who don't know much about computer-verified proofs, the way I'd sum it up is that there's a complexity crisis going on (similar to the "software crisis" which might not be completely solved but which has s