• tyler@programming.dev
    link
    fedilink
    English
    arrow-up
    2
    ·
    16 hours ago

    the reason it confused me is because the college student was clearly using the algorithm to accomplish his task, not just theoretically designed. So it didn’t seem to be a small improvement that would only be noticeable in certain situations.

    I’m not smart enough to understand the papers so that’s why I asked.

    • barsoap@lemm.ee
      link
      fedilink
      English
      arrow-up
      4
      ·
      16 hours ago

      Oh no it’s definitely a theoretical paper. Even if the theory is fully formalised and thus executable it still wouldn’t give much insight on how it’d perform in the real world because theorem provers aren’t the most performant programming languages.

      And, FWIW, CS theorists don’t really care about running programs same as theoretical physicists don’t care much about banging rocks together, in both cases making things work in the real world is up to engineers.