2026-05-08 08:05 UTC
@rntz@recurse.social hah, yeah the original tweet said stuff about "classical negation of numerical inequalities" but then I decided no one was gonna read that so I edited it :P
Replies (1)
-
@juergen@chaos.social 2026-05-08 21:02
@sliminality@types.pl @rntz@recurse.social It's also false for floating-point numbers, thanks to IEEE 754 (all relations are false for NaN).