A Formal Model of Dependency Resolution [video] | Hacker News Reader