Western Digital agrees to buy SanDisk for about $19B | Hacker News Reader