• bleistift2@sopuli.xyz
    link
    fedilink
    English
    arrow-up
    29
    ·
    3 days ago

    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.

  • mikumiku@programming.dev
    link
    fedilink
    English
    arrow-up
    5
    ·
    2 days ago

    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.

  • litchralee
    link
    fedilink
    English
    arrow-up
    8
    ·
    3 days ago

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