not_IO@lemmy.blahaj.zone to Programmer Humor@lemmy.mlEnglish · 1 month agobase 10lemmy.blahaj.zoneimagemessage-square45linkfedilinkarrow-up10arrow-down10file-textcross-posted to: programmer_humor@programming.dev
arrow-up10arrow-down1imagebase 10lemmy.blahaj.zonenot_IO@lemmy.blahaj.zone to Programmer Humor@lemmy.mlEnglish · 1 month agomessage-square45linkfedilinkfile-textcross-posted to: programmer_humor@programming.dev
minus-square∃∀λ@programming.devlinkfedilinkarrow-up0·1 month agoBase successor(successor(successor(successor(zero))))
minus-squareCanadaPlus@lemmy.sdf.orglinkfedilinkarrow-up0·1 month agoCan’t argue about bases if you refuse to elaborate beyond Presburger arithmetic. (Guy pointing at head meme)
Base successor(successor(successor(successor(zero))))
Can’t argue about bases if you refuse to elaborate beyond Presburger arithmetic. (Guy pointing at head meme)