There's already a named attack on kyber as well. `KyberSlash`
http://kyberslash.cr.yp.to/
as best I can tell it seems to be implementation specific rather than about kyber as a spec, but still worth knowing about
There's also ECC, numerous hashes, stream ciphers... impressive!(?)[0]
[0] https://ziglang.org/documentation/master/std/#A;std:crypto
[1] https://github.com/ziglang/zig/commit/21ae64852a531c36ae3166...
This is so far above my pay grade that I don't know what to think. DJB has a tendency to be right, but then again: he is the kind of guy that checks the return value of printf even in non-critical paths. As one wants a crypto guy to be, I guess...