Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
sanjoy
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
sanjoy
12y ago
Thank you for the comments. I agree with your caveat about the difficulty in applying the tools to software or programming. Although invariants are quite useful in programming too, and abstraction is an essential part of any large project