Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Separation Logic. Parent comment
"pretty much guaranteed to be incorrect"
... as it happens, SL (and infer) can be used to prove this too :) though that is more recent.
https://dl.acm.org/doi/pdf/10.1145/3527325
There are no comments on this comment yet.
"pretty much guaranteed to be incorrect"
... as it happens, SL (and infer) can be used to prove this too :) though that is more recent.
https://dl.acm.org/doi/pdf/10.1145/3527325