Syzygies and Higher Groupoids | Hacker News Reader