You must log in or register to comment.
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:
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.