The Theory Underlying the Pijul VCS | Hacker News Reader