trot

joined 2 years ago
sorted by: new top controversial old
I have a 64-bit gender in c/programmerhumor@lemmy.ml
[–] trot@hexbear.net 2 points 1 day ago

any "n-bit value" fails to model nontermination. clearly a pointed dCPO.