RocksDB development finds a CPU bug | Hacker News Reader