• @lugal@sopuli.xyz
    link
    fedilink
    1210 months ago

    As an O notation enjoyer, I don’t get why people are so obsessed with constant factors. Is it exponential? Bad. Is it polynomial? Good. That’s it basically.

    • @SrTobi@feddit.de
      link
      fedilink
      710 months ago

      As a theorem prove enjoyer, I don’t get why people are so obsessed with variables in their exponents. Is it undecidable? Bad. Is it decidable? Good. That’s it fundamentally.