@valyakuttan.bsky.social

Wow! Alfred Menezes just published this 182 page "A Gentle Introduction to Lattice-Based Cryptography" paper. I just skimmed through it, but it looks like an invaluable resource if you want to study lattices and how they're used in (PQ) Cryptography. eprint.iacr.org/2026/1098

A gentle introduction to lattice-based cryptography

We present the quantum-safe Kyber key encapsulation mechanism (ML-KEM) and the Dilithium signature scheme (ML-DSA). We also develop the mathematical background on lattices needed to understand why Kyb...

eprint.iacr.org

Bernie bros came for me on Muskrat's platform when I quote tweeted this Calude ad saying, "at this point, Bernie’s job seems to be lobbying for Anthropic." So let me elaborate. Bernie has been repeating, almost verbatim, Dario Amodei's talking points, for a while now, even quote tweeting him.🧵

Senator Bernie Sanders@sanders.senate.gov · 5mo ago

I spoke to Anthropic’s AI agent Claude about AI collecting massive amounts of personal data and how that information is being used to violate our privacy rights. What an AI agent says about the dangers of AI is shocking and should wake us up. youtu.be/h3AtWdeu_G0?...

Terry Tao has translated his "Analysis I" textbook into Lean! github.com/teorth/analy... Projects like this are tough to pull off, and need users to play through the levels and find and eliminate things which the formalization is making artificially hard. Fork the repo and give the exercises a try!

GitHub - teorth/analysis: A Lean companion to Analysis I

A Lean companion to Analysis I. Contribute to teorth/analysis development by creating an account on GitHub.

github.com