Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Writing correct lock-free and distributed stateful systems in Rust, with TLA+
github.com/spacejam
374 points
gfortaine
9 years ago
94 comments
Loading...
Writing correct lock-free and distributed stateful systems in Rust, with TLA+ | Heykuki News