(2026/01/09) Using ARM cryptographic extensions with GHC.

(2025/12/31) Security analysis, ppad-fixed.

(2025/11/28) Producing verifiable binaries with Go and Nixpkgs.