News for hackers. Stuff that matters.

A comment on Multicore OCaml: Feb 2020 update. Parent comment

Re:Multicore OCaml: Feb 2020 update by monocasa on Friday February 28, 2020 @07:15PM (#22447641)
Jane Street really loves OCaml. A lot of formal verification tools play nicely with OCaml too.
[ Parent | on HN ]
Re:Multicore OCaml: Feb 2020 update by pjmlp on Sunday March 01, 2020 @06:02AM (#22456336)
AFAK Intel used to have some kind of formal verification, either Haskell or OCaml based for their chips, but I am not having much luck with my Google-fu.
[ Parent | on HN ]