Egglog Examples: Pullbacks, Ski, Lists, and Arithmetic (2021) | Hacker News Reader