News for hackers. Stuff that matters.

A comment on TLA+ spec finds bugs in Apache BookKeeper.

Re:TLA+ spec finds bugs in Apache BookKeeper by lemmster on Wednesday February 24, 2021 @12:29PM (#26252779)
https://github.com/apache/bookkeeper/issues/2614
[ Parent | on HN ]

There are no comments on this comment yet.