News for hackers. Stuff that matters.
Re:What Is a Property? by alpaylan on Saturday April 11, 2026 @05:48PM (#47734316)
I agree. It’s especially weird moving across related domains because suddenly something you think you know has changed meaning. For instance eBPF is “verified”, but the verification is almost completely unrelated from the usual connotations.

There are no comments on this comment yet.