"A calculator app? Anyone could make that." (chadnauseam.com)
from Occhioverde@feddit.it to programming@programming.dev on 19 Feb 20:56
https://feddit.it/post/15042434

#programming

threaded - newest

bleistift2@sopuli.xyz on 19 Feb 21:43 next collapse

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.

kernelle@0d.gs on 19 Feb 22:39 next collapse

“Psht I’ll never use maths in real life”, maths in real life:

SwordInStone@lemmy.world on 20 Feb 08:35 collapse

None of the people involved ever said nor thought it.

kernelle@0d.gs on 20 Feb 09:14 collapse

I never thought that either. It’s a joke, relax.

litchralee@sh.itjust.works on 20 Feb 00:34 next collapse

I am always deeply enthralled when math and comp-sci unite to yield an elegant result, where my definition of elegance is: efficient + minimal.

mikumiku@programming.dev on 20 Feb 09:54 next collapse

I was asking my friend if they want to do code a calculator with me then I realized it’s much harder than it looks.

runeko@programming.dev on 20 Feb 12:34 collapse

<img alt="" src="https://programming.dev/pictrs/image/8614085c-26a9-4f7d-9511-b99ea0c3e836.jpeg">