Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
snnw
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
snnw
8y ago
Godel's theorem only applies to proof systems that can encode basic arithmetic, which most type systems cannot.
2.
▲
by
snnw
11y ago
2.2 beta 1 was released last week. Testers welcome!
3.
▲
by
snnw
11y ago
http://lmgtfy.com/?q=duff%27s+device&l=1#