Hacker News new | ask | show | jobs
by agumonkey 3267 days ago
To each his own path. Maybe you'll change course, maybe not, maybe type theory will evolve (HoTT comes to mind).
1 comments
miguelrochefort 3267 days ago
I can't seem to grasp HoTT.

Are there any approachable resources on the subject?

link
alimw 3267 days ago
Have you tried reading the articles linked to on this page? http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...
link
stepik777 3267 days ago
There is an official book which is very well written. I remember that I started to read it several years ago and was surprised that I actually can understand most of the things.
link
agumonkey 3267 days ago
I only read two pages on homotopy so far, I cannot answer that :)
link