this post was submitted on 16 Jan 2026
27 points (84.6% liked)

Technology

1357 readers
38 users here now

A tech news sub for communists

founded 3 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] yogthos@lemmygrad.ml 3 points 1 week ago

Good point, verifying a disassembled binary wouldn't exhaustively prove the compiler is safe.