Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
mathisgd
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
mathisgd
1y ago
correlated ideas, that I thought were worth sharing: - formal properties help one understand their own code better. This holds even more true when the properties are high level. - they are useful to make sure the code behaves as expected, b