Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
freyrs3
on Aug 12, 2013
|
parent
|
context
|
favorite
| on:
The Anti-Human Consequences of Static Typing
Poorly worded, and a bit disingenuous to bring Gödel's theorem in this context. Taken to it's logical conclusion, by his argument we shouldn't bother analyzing the properties of programs at all.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
