Articles tagged post-quantum on devtake.dev.https://devtake.dev/en-ushttps://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/ubuntu-26-04-lts-release/https://devtake.dev/article/ubuntu-26-04-lts-release/Canonical released Ubuntu 26.04 'Resolute Raccoon' on April 23. It's the first LTS without X11, ships kernel 7.0 and GNOME 50, and sets post-quantum SSH on by default.Thu, 23 Apr 2026 19:30:00 GMTopen-sourceubuntuubuntu-26-04linuxcanonicalltswaylandrust-coreutilspost-quantumsoren-vanekhttps://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