Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
nlogn_alltheway
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
nlogn_alltheway
2mo ago
I just feel an existential angst, are we damned to keep reinventing the same wheel? Static contracts and proofs are basically solved for industrial use in SPARK, yet somehow we keep reinventing. Is computer science really engineering? We do