minus-squaretrot [he/him]@hexbear.nettoProgrammer Humor@lemmy.ml•I have a 64-bit genderlinkfedilinkEnglisharrow-up0·8 days agoany “n-bit value” fails to model nontermination. clearly a pointed dCPO. linkfedilink
any “n-bit value” fails to model nontermination. clearly a pointed dCPO.