Occhioverde@feddit.it to Programming@programming.dev · 2 天前"A calculator app? Anyone could make that."chadnauseam.comexternal-linkmessage-square7fedilinkarrow-up1102arrow-down10 cross-posted to: hackernews@lemmy.bestiver.se
arrow-up1102arrow-down1external-link"A calculator app? Anyone could make that."chadnauseam.comOcchioverde@feddit.it to Programming@programming.dev · 2 天前message-square7fedilink cross-posted to: hackernews@lemmy.bestiver.se
minus-squarebleistift2linkfedilinkEnglisharrow-up31·2 天前I 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: