News for hackers. Stuff that matters.

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

Re:Writing correct lock-free and distributed stateful system... by lenage on Friday May 19, 2017 @08:04AM (#14374777)
thanks for great work
[ Parent | on HN ]

There are no comments on this comment yet.