Debunking NIST's calculation of the Kyber-512 security level

Link: https://blog.cr.yp.to/20231003-countcorrectly.html
Discussion: https://news.ycombinator.com/item?id=37756656