Email or username:

Password:

Forgot your password?
jonny (good kind)'s posts Post Back to profile
Top-level
jonny (good kind)

breeding a cat that works on unsigned integers

26 April at 8:35 | Open on neuromatch.social
12 comments
gaytabase

@jonny look start with booleans. cats always say no, but i'm unclear they understand what yes means.

26 April at 8:36 | Open on social.treehouse.systems
jonny (good kind)

@dysfun
If I ever make a programming language bools will be true only, in your honor

26 April at 8:39 | Open on neuromatch.social
gaytabase

@jonny funny thing, but a number of people in the theorem prover community think we should stop using bools and replace them with proofs and contradictions

26 April at 8:40 | Open on social.treehouse.systems
f.rift :fire_blue:

@dysfun @jonny makes sense; nothing in math is true or false, only consistent or inconsistent.

26 April at 9:13 | Open on hackers.town
f.rift :fire_blue:

@dysfun @jonny (or underspecified for the determination of its consistency. or, uh, some worse things that can occur in special cases...)

26 April at 9:14 | Open on hackers.town
GabeMoralesVR
Piiieps & Brummm

@jonny
I wonder, if this heppens less with double cats. 🤔

26 April at 12:05 | Open on chaos.social
Go Up