Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
catshirt
on July 8, 2017
|
parent
|
context
|
favorite
| on:
Where Do Type Systems Come From?
funny to me, that HN brings up "Godel, Escher, Bach" in the most general of situations but not when someone's specifically asking for it. enjoy! :)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
