News for hackers. Stuff that matters.

A comment on My first verified imperative program. Parent comment

Re:My first verified imperative program by junon on Monday July 07, 2025 @06:36PM (#44495296)
INT_MIN - 1 is undefined behavior in C.
[ Parent | on HN ]

There are no comments on this comment yet.