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.
“Psht I’ll never use maths in real life”, maths in real life:
None of the people involved ever said nor thought it.
I never thought that either. It’s a joke, relax.
I am always deeply enthralled when math and comp-sci unite to yield an elegant result, where my definition of elegance is: efficient + minimal.
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.
I had tried to build one one time and got the ui down. As I started building the more complex arithmatic (chaining calculations) i realized how insanely complex it actually is. It made me realize how complex the most simple looking apps actually are.
