The Carrying-Cost of Code: Taking Lean Seriously (2011) | Dark Hacker News