As Twitter faces challenges and uncertainties, I collected a few tweets into a book to preserve a snapshot of my posts beyond the platform. Please enjoy "Once Upon a Time, on Twitter..." https://t.co/7Q9ljdMiJG (694K)
🔺NEW: Formally verified post-quantum ML-KEM and ML-DSA in corecrypto, with correctness proven from the FIPS spec down to hand-optimized ARM64 assembly — a world first at multi-billion device scale. And we're releasing our Isabelle libraries, ARM64 model, and Cryptol-to-Isabelle translator to advance the state of the art in verified cryptography! https://t.co/LZPHFD0ifE
Ada is often ignored, yet it pioneered many “modern” ideas for programming languages. If you think Ada is outdated, this article may change your mind. Or not.
https://t.co/JPXI7IpXsj
If an autonomous vehicle is bricked because of a power outage, then “autonomous” is a lie there. Regardless of whether that is because outsourced remote operators can’t see in the dark or a remote CC is unreachable because of base stations.
(keeping it professional) I regret to inform you that Gmail has inadvertently deleted all my messages prior to February 2025. This unfortunate occurrence is attributed to a technical malfunction on Google’s end.
Oh lord, they published it 🤦♂️
https://t.co/UG46araUO4
If you look at the ten "2048-bit factorizations" in appendix S1, the distance p-q between the factors is either 2 (a prime pair) or 6. You just compute square root of n and guess one bit -- the complexity is literally 2^1.