New drilling machine quickly/economically cuts through hardest rocks in world | Hacker News Reader