> Even when source is available, as in open source operating systems like Linux, approximately no one checks that the distributed binaries match the source code.
This was not the case in 2023 for Arch Linux[1] back when the post was originally published, and is also not the case for Debian[2] since 2024.
[1]: https://reproducible.archlinux.org/
[2]: https://reproduce.debian.net/
Would be fun to see if an llm could produce this (assuming tfa and other solutions weren't present in the training data).