Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Diris
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
61.
▲
by
Diris
5y ago
I've seen multiple people pointing this out, but completely ignoring the next sentence. > I find it much easier to formally verify things correct than to test that they're correct. I don't have anything else to say but I w