• atheken@programming.dev
    link
    fedilink
    arrow-up
    8
    arrow-down
    2
    ·
    1 year ago

    I loathe this line of reasoning. It’s like saying “unless you wrote assembly, compiling your code could change what it does.”

    Guess what, the CPU reorders/ellides assembly, too! You can’t trust anything!

    • pivot_root@lemmy.world
      link
      fedilink
      arrow-up
      4
      ·
      edit-2
      1 year ago

      Haha, what is this, the 90s?

      Assembled instructions aren’t even the lowest non-hardware stage in instruction execution. There’s proprietary microcode sitting a level below your typical x86 ISA.

      And even then, what if—God forbid—the hardware has errata. A line has to be drawn somewhere between trusting that what you write is logically correct at all stages below it. If someone is unable to trust that the environment they wrote code for works, they better start learning how to create PCBs and writing for FPGAs.

      • atheken@programming.dev
        link
        fedilink
        English
        arrow-up
        3
        ·
        edit-2
        1 year ago

        🙈🙉🙊

        I know, but I didn’t want to scare the children.

        I also chose to pretend it’s just little gnomes moving the bytes around. Less magic.