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 kobebrookskC3 on Saturday April 18, 2026 @01:35AM (#47813411)
> simply by adding the formal verification that proves the safety which will work automatically

"simply" and "formal verification" are usually oxymorons, never mind "automatically"

[ Parent | on HN ]
Re:A simplified model of Fil-C by uecker on Saturday April 18, 2026 @02:27AM (#47813605)
Fair enough, but I have seen how it works and for just temporal memory safety, it could be simple.
[ Parent | on HN ]