* Ben Hutchings: > On Mon, 2017-06-26 at 08:34 +0000, Holger Levsen wrote: >> On Sun, Jun 25, 2017 at 09:19:36AM -0300, Henrique de Moraes Holschuh wrote: >> [...] >> > Apparently, Intel had indeed found the issue, *documented it* (see >> > below) and *fixed it*. There was no direct feedback to the OCaml >> > people, so they only found about it later. > [...] >> so in conclusion: don't buy intel. At least in future. > [...] > > Other procesors aren't bug-free, they just don't get as many bug fixes.
And the fixes aren't documented publicly at all.