Hacker News new | ask | show | jobs
by ackfoobar 406 days ago
Agreed, indeed I believe they have mentioned that OCaml gets them to ship quicker because they are more confident with the correctness of changes.

But being outside of the mainstream may mean you need to occasionally debug more esoteric stuff: https://gallium.inria.fr/blog/intel-skylake-bug/ I'm sure Jane Street can afford doing that, but I'm not so sure if a small team can.
1 comments
gjadi 406 days ago
That was an interesting read, thanks. However I fail to see how it's an issue specific to ocaml. It was a bug in the Skylake processor triggered by a special pattern of instructions produced by gcc. Ocaml built with clang was ok because it doesn't used the same pattern. Did I miss something?
link
ackfoobar 406 days ago
If the JVM encountered the same bug other people would have discovered it before me. Most probably I won't even know the bug exists.
link