this post was submitted on 08 Sep 2023
57 points (70.2% liked)
Programming
17308 readers
197 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 [email protected]
founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
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!
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.
🙈🙉🙊
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.
What are electrons, but a miserable pile of little magic gnomes? But enough talk... have a upvote!