Hacker News new | ask | show | jobs
by hprotagonist 3564 days ago
now if we could only figure out how to make Coq for parallel or asynchronous routines...
2 comments
bahjoite 3563 days ago
Would TLA be of any help to you? https://research.microsoft.com/en-us/um/people/lamport/tla/t...
link
felixgallo 3563 days ago
All data is immutable, and there is no message passing. Done!
link