• lad@programming.dev
    link
    fedilink
    English
    arrow-up
    1
    ·
    5 days ago

    Thanks for the link. I expected there would be a problem with triangle inequality but didn’t want to do the actual proving 😅