Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
ergdgdsgdgs
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
ergdgdsgdgs
7y ago
They're small :P! Less facetiously, some micro kernels have been proven formally correct. You need a small code to prove formally correct. And even on an intuitive level, if the code is small I can "hold" it all in my head -