News for hackers. Stuff that matters.

A comment on QWaitCondition: Solving the Unavoidable Race (2014). Parent comment

Re:QWaitCondition: Solving the Unavoidable Race (2014) by Bjartr on Thursday February 18, 2021 @09:28AM (#26180123)
Haha, sorry. Although I will say your blog is precisely where my interest in TLA+ originated from.
[ Parent | on HN ]

There are no comments on this comment yet.