Popular disk encryption systems' keys recoverable from memory dump | Hacker News Reader