snnw
Re:Are unsound type systems wrong?
on Saturday April 07, 2018 @08:13AM (#16780394)
Godel's theorem only applies to proof systems that can encode basic arithmetic, which most type systems cannot.
Re:Fish shell
on Monday May 18, 2015 @04:23PM (#9566657)
2.2 beta 1 was released last week. Testers welcome!
Re:C to Java Translation. Automatic, Complete, Correct. Free for Open-...
on Wednesday April 29, 2015 @09:24AM (#9458065)