News for hackers. Stuff that matters.

A comment on Why Concurrency Is Hard. Parent comment

Re:Why Concurrency Is Hard by xfer on Tuesday November 10, 2020 @08:15AM (#25045574)
For concurrency related specs i was alluding to spin/TLA+.
[ Parent | on HN ]
Re:Why Concurrency Is Hard by MaxBarraclough on Tuesday November 10, 2020 @08:37AM (#25045740)
Great, thanks for clarifying.
[ Parent | on HN ]