News for hackers. Stuff that matters.
Re:A simplified model of Fil-C by wakawaka28 on Friday April 17, 2026 @07:39PM (#47811794)
>And inability to prove correctness does NOT imply incorrectness.

And inability to prove incorrectness does NOT imply correctness. I think most Rust users don't understand either, because of the hype.

There are no comments on this comment yet.