Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
poteeweet
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
poteeweet
11y ago
They didn't mean "prove" as in mathematically "prove" than an algorithm works, they meant it in mechanical terms (does it compile, does it run, does it past test inputs, etc.).