Viewing profile — snnw
snnw
HN member- Joined
- Wed, Apr 29, 2015, 1:23 PM UTC
- HN karma
- 11
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About snnw
No profile information was provided.
Recent public activity
-
comment
Comment #16780394
Godel's theorem only applies to proof systems that can encode basic arithmetic, which most type systems cannot.
-
comment
Comment #9566657
2.2 beta 1 was released last week. Testers welcome!
-
comment
Comment #9458065
http://lmgtfy.com/?q=duff%27s+device&l=1#