Leslie Lamport's yet unpublished rant on coders and math (read the preface) | Hacker News Reader