Rigorous vs. Lazy Thinking | Dark Hacker News