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 was asking my friend if they want to do code a calculator with me then I realized it’s much harder than it looks.

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

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