https://programsareproofs.com/ https://programsareproofs.com/articles/ https://programsareproofs.com/articles/aoc-2021/ 2022-02-01 https://programsareproofs.com/articles/audio-issues/ 2025-10-22 https://programsareproofs.com/articles/checking-and-savings/ 2024-08-01 https://programsareproofs.com/articles/code-reviews/ 2021-04-01 https://programsareproofs.com/articles/functiontrace-glyphslib/ 2021-10-01 https://programsareproofs.com/articles/functiontrace-mozilla/ 2020-05-01 https://programsareproofs.com/articles/functiontrace-rust-conversion/ 2025-08-05 https://programsareproofs.com/articles/initial-thoughts-on-china/ 2025-05-01 https://programsareproofs.com/articles/password-databases/ 2022-05-01 https://programsareproofs.com/articles/react-native-nix/ 2023-02-01 https://programsareproofs.com/articles/secret-secrets/ 2022-11-01 https://programsareproofs.com/articles/singleuse-functions/ 2021-06-01 https://programsareproofs.com/articles/steam-2fa/ 2019-10-01 https://programsareproofs.com/articles/third-party-dependencies/ 2022-11-01 https://programsareproofs.com/articles/z3-puzzlehunt/ 2021-03-01 https://programsareproofs.com/pgp/