News for hackers. Stuff that matters.

A comment on Wikihouse: Open-Source Houses. Parent comment

Re:Wikihouse: Open-Source Houses by quickthrower2 on Tuesday January 09, 2024 @10:47PM (#38935885)
You need refinement types. Psuedocode:

    timespandays : int, timespandays > 0
your program can then be proven by the compiler not to NaN.
[ Parent | on HN ]

There are no comments on this comment yet.