Nokia sheds another 10,000 employees by the end of 2013 | Hacker News Reader