EWD361: Programming as a discipline of mathematical nature [video] | Hacker News Reader