Occhioverde@feddit.it to Programming@programming.dev · 1 month ago"A calculator app? Anyone could make that."chadnauseam.comexternal-linkmessage-square8fedilinkarrow-up1114arrow-down10
arrow-up1114arrow-down1external-link"A calculator app? Anyone could make that."chadnauseam.comOcchioverde@feddit.it to Programming@programming.dev · 1 month agomessage-square8fedilink
minus-squarebleistift2@sopuli.xyzlinkfedilinkEnglisharrow-up36·1 month agoI like this sentence from the paper linked at the end of the article: We show how to implement arithmetic […] that is correct, even by the standards of naive users.
I like this sentence from the paper linked at the end of the article: