57
you are viewing a single comment's thread
view the rest of the comments
[-] atheken@programming.dev 6 points 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 4 points 1 year ago* (last edited 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 3 points 1 year ago* (last edited 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.

[-] pivot_root@lemmy.world 1 points 1 year ago

What are electrons, but a miserable pile of little magic gnomes? But enough talk... have a upvote!

this post was submitted on 08 Sep 2023
57 points (70.2% liked)

Programming

17025 readers
54 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities !webdev@programming.dev



founded 1 year ago
MODERATORS