everyone i have figured it out, cats just have unchecked integer operations
Dr. jonny phd
everyone i have figured it out, cats just have unchecked integer operations 40 comments
extreme organic gay
@jonny look start with booleans. cats always say no, but i'm unclear they understand what yes means.
extreme organic gay
@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
f.rift :fire_blue:
extreme organic gay
@feonixrift @jonny we tend to think of it as booleans erasing what they pertain to :)
extreme organic gay
@feonixrift @jonny you want coin-operated computation? we can do that! https://www.idris-lang.org/docs/idris2/current/base_docs/docs/Data.Fuel.html
extreme organic gay replied to f.rift
@feonixrift @jonny it's not esoteric, it's just type theoretic
ππΈβΞ»C
@efi so no overflow you know
Dr. jonny phd
@ralph_himself
Thinks Deer Are Cool
@jonny ...okay but in my experience this is close to literally true, they bite when they start getting sensory/emotional overload |
@jonny That makes perfect sense.