not_IO@lemmy.blahaj.zone to Programmer Humor@lemmy.mlEnglish · 2 months agobase 10lemmy.blahaj.zoneimagemessage-square46linkfedilinkarrow-up10arrow-down10file-text
arrow-up10arrow-down1imagebase 10lemmy.blahaj.zonenot_IO@lemmy.blahaj.zone to Programmer Humor@lemmy.mlEnglish · 2 months agomessage-square46linkfedilinkfile-text
minus-square∃∀λ@programming.devlinkfedilinkarrow-up0·2 months agoBase successor(successor(successor(successor(zero))))
minus-squareCanadaPlus@lemmy.sdf.orglinkfedilinkarrow-up0·2 months 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)