Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ill_ion
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
ill_ion
6mo ago
Contracts feel like the right direction but the wrong execution timeline. The Ada/SPARK model shows how powerful contracts become when they feed into static verification — but that took decades of iteration on a language with far clean
2.
▲
by
ill_ion
6mo ago
This is awesome!