Tiger_Man_〔he/him〕@lemmy.blahaj.zone to Programmer Humor@programming.dev · 1 month agothat's truelemmy.blahaj.zoneimagemessage-square14fedilinkarrow-up1346arrow-down19
arrow-up1337arrow-down1imagethat's truelemmy.blahaj.zoneTiger_Man_〔he/him〕@lemmy.blahaj.zone to Programmer Humor@programming.dev · 1 month agomessage-square14fedilink
minus-squarertxn@lemmy.worldlinkfedilinkarrow-up61arrow-down1·edit-21 month agoThat’s not the truth. It’s one of infinitely many truths. They hated him because Jesus didn’t understand how implicit type casting between int and bool worked.
minus-squareowsei@programming.devlinkfedilinkarrow-up15·edit-21 month agoLambda calculus gang has entered the chat with λx.λy.x as The Truth™
minus-squareCanadaPlus@lemmy.sdf.orglinkfedilinkarrow-up4·edit-230 days agoI told them to leave a pamphlet and fuck off, but the pamphlet was a fixed-point combinator that put them back on my porch again.
minus-squareTanoh@lemmy.worldlinkfedilinkarrow-up5·1 month agoAnd then there are things like strcmp() that uses 0 as true. At least it is for a good reason, but still confusing.
minus-squarertxn@lemmy.worldlinkfedilinkarrow-up7·1 month agoI don’t find it confusing at all. The function doesn’t test equivalence, and the return value is not meant to be a logical value.
minus-squareTja@programming.devlinkfedilinkarrow-up3·edit-230 days agoif ((1 > 0) == 1) printf("The OG truth\n");
That’s not the truth. It’s one of infinitely many truths. They hated him because Jesus didn’t understand how implicit type casting between int and bool worked.
Lambda calculus gang has entered the chat with
λx.λy.x
as The Truth™I told them to leave a pamphlet and fuck off, but the pamphlet was a fixed-point combinator that put them back on my porch again.
And then there are things like strcmp() that uses 0 as true. At least it is for a good reason, but still confusing.
I don’t find it confusing at all. The function doesn’t test equivalence, and the return value is not meant to be a logical value.
if ((1 > 0) == 1)
printf("The OG truth\n");