US software 'blew up Russian gas pipeline' | Hacker News Reader