News for hackers. Stuff that matters.

A comment on AMD ships microcode update to disable some branch prediction. Parent comment

Re:AMD ships microcode update to disable some branch prediction by zlynx on Friday January 05, 2018 @06:59PM (#16082847)
In this case the CPU does function exactly as designed. Any correctness prover would agree.

It does show the problem of all theorem provers: they are only as good as the specification.

[ Parent | on HN ]

There are no comments on this comment yet.