News for hackers. Stuff that matters.

A comment on Writing correct lock-free and distributed stateful systems in Rust, with TLA+. Parent comment

Re:Writing correct lock-free and distributed stateful system... by nonsince on Saturday May 20, 2017 @01:20AM (#14381172)
If the OCaml code is Standard ML-compliant you could run it on Cake, then you only have to trust the conversion
[ Parent | on HN ]

There are no comments on this comment yet.