The end of apps, and why UX designers should care about type theory (2013) | Hacker News Reader