Lazy Linearity for a Core Functional Language (POPL 2026) | Dark Hacker News