News for hackers. Stuff that matters.

A comment on A simplified model of Fil-C. Parent comment

Re:A simplified model of Fil-C by wren6991 on Friday April 17, 2026 @10:36PM (#47812682)
You need to distinguish safety properties from liveness properties.
[ Parent | on HN ]

There are no comments on this comment yet.