this post was submitted on 16 Jan 2026
25 points (87.9% liked)

Technology

1356 readers
50 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 2 points 1 week ago

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