How Madrid built its metro cheaply (2024) | Hacker News Reader