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