• @[email protected]
    link
    fedilink
    English
    620 hours ago

    This whole discussion, trying to rigorously define terms so that a robust mathematical proof can be given, is basically a plot point in the show Silicon Valley.