A differentiation identity | Hacker News Reader