A rigorous friction model for human-computer symbiosis | Hacker News Reader