RocksDB development finds a CPU bug | Dark Hacker News