Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
yeenieee
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
yeenieee
4y ago
What other options are there? It's the only systems level language with a formally verified compiler afaik. rust is a no go because you can't trust the compiler's output (remember, we can't trust people to write correct