On how to tune a PID controller | Hacker News Reader