How the Singapore Circle Line rogue train was caught with data | Hacker News