Articles on devtake.dev covering NIST.https://devtake.dev/en-ushttps://devtake.dev/article/us-quantum-2-billion-equity-stakes/https://devtake.dev/article/us-quantum-2-billion-equity-stakes/On May 21 NIST disclosed nine letters of intent worth $2.013B for IBM, GlobalFoundries, and seven quantum labs. Each comes with a minority federal stake.Sun, 24 May 2026 10:15:00 GMTpolicypolicyquantum-computingchips-actibmglobalfoundriesd-waverigettinational-securityclara-wexlerhttps://devtake.dev/article/apple-corecrypto-formal-verification/https://devtake.dev/article/apple-corecrypto-formal-verification/Apple's SEAR team published formal verification proofs for corecrypto's ML-KEM and ML-DSA implementations. 50,000 proof steps cover 2.5 billion active devices.Sat, 23 May 2026 09:15:00 GMTsecurityapplecorecryptopost-quantumcryptographyformal-verificationsecurityml-kemluca-reinhardthttps://devtake.dev/article/gnupg-post-quantum-mainline/https://devtake.dev/article/gnupg-post-quantum-mainline/Werner Koch shipped GnuPG 2.5.19 on April 24 with FIPS-203 ML-KEM, the first stable post-quantum encryption algorithm in OpenPGP. Here's what changed and what didn't.Sun, 26 Apr 2026 11:00:00 GMTsecuritygnupgopenpgppost-quantumml-kemcryptographysecuritykyberencryptionluca-reinhardthttps://devtake.dev/article/google-q-day-2029-post-quantum-deadline/https://devtake.dev/article/google-q-day-2029-post-quantum-deadline/Google's security team says cryptographically-relevant quantum computers could arrive by 2029, six years before the NSA's 2031 deadline. What to migrate, and in what order.Wed, 15 Apr 2026 17:00:00 GMTwebquantum-computingcryptographypost-quantumgooglesecuritytlsluca-reinhardt