Deriving the Obvious | Dark Hacker News