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! :)
Join us for
AI Startup School
this June 16-17 in San Francisco!
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
