464
you are viewing a single comment's thread
view the rest of the comments
[-] trot@hexbear.net 2 points 3 months ago

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

this post was submitted on 14 Jan 2025
464 points (91.0% liked)

Programmer Humor

35148 readers
336 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS