News for hackers. Stuff that matters.

A comment on Zero-Cost POSIX Compliance: Encoding the Socket State Machine in Lean's Types. Parent comment

Re:Zero-Cost POSIX Compliance: Encoding the Socket State Mac... by ridiculous_fish on Wednesday March 25, 2026 @12:31AM (#47513262)
That's exactly what affine / linear types do.
[ Parent | on HN ]

There are no comments on this comment yet.