First screen, captured .
Looks similar
Bitcoin and quantum computing(nehanarula.org)
144 points by nehan | 98 comments
(Post-Quantum) Cryptographic Right Answers(words.filippo.io)
74 points by gavide | 13 comments
Blog post by Filippo Valsorda giving updated 'Cryptographic Right Answers' recommendations for developers, covering post-quantum cryptography choices.
Related stories
Cryptographers solve decades-old privacy problem(nautil.us)
324 points by Brajeshwar | 124 comments
Nautilus article by Madison Goldberg on cryptographers' advance toward fully private database lookups and internet searches (private information retrieval).
Claude Code can debug low-level cryptography(words.filippo.io)
446 points by Bogdanp | 199 comments
Filippo Valsorda's blog post on using Claude Code to debug his new Go implementation of the ML-DSA post-quantum signature algorithm.
AI will make formal verification go mainstream(martin.kleppmann.com)
782 points by evankhoury | 394 comments
Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.
Reverse engineering a $1B Legal AI tool exposed 100k+ confidential files(alexschapiro.com)
752 points by bearsyankees | 258 comments
A blog post describing how the author found an unauthenticated API flaw in Filevine's legal AI tool exposing 100k+ confidential files, with a disclosure timeline.
The future of software development is software developers(codemanship.wordpress.com)
376 points by cdrnsf | 471 comments
A Codemanship blog post arguing that the future of software development still depends on human software developers.
AI Laser Locking for Quantum Computers: How QuEra Automates It(quera.com)
24 points by EvgeniyZh | 5 comments
QuEra blog post describing how the company uses AI to automatically lock and tune the lasers in its neutral-atom quantum computer.