Feeds to Scour
SubscribedAll
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
Post-Quantum Cryptography on CHERIoT
cheriot.org·2d·
Discuss: Hacker News
🔲Lattice Cryptography
Preview
Report Post
Evaluating GPT-5.2 Thinking: Cryptographic Challenge Case Study
irregular.com·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
IDA Pro String Heuristics
gabrielcybersecurity.com·2d
Format Verification
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·2d
📐Mathematical Art
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·5d
🧮Theorem Proving
Preview
Report Post
LLM Prompt Engineering: A Practical Guide to Not Getting Hacked
dev.to·3d·
Discuss: DEV
🧪Binary Fuzzing
Preview
Report Post
EAMSA 512
blog.redeaux.co·5d·
Discuss: Hacker News
🔐Quantum Security
Preview
Report Post
Indexed Reverse Polish Notation, an Alternative to AST
burakemir.ch·2d·
Discuss: Hacker News
🔗Concatenative Programming
Preview
Report Post
Certificates for nonnegativity of multivariate integer polynomials under perturbations
arxiv.org·3d
🎯Performance Proofs
Preview
Report Post
Gemma 3 AI model in Clojure
dragan.rocks·4d
🔗Functional Compilers
Preview
Report Post
Improved Pseudorandom Codes from Permuted Puzzles
arxiv.org·4d
🌊Stream Ciphers
Preview
Report Post
A New Series on Cracking FAANG-Level Code Challenges
johnjr.dev·3d·
Discuss: Hacker News
🌳Trie Structures
Preview
Report Post
Cryptographers Show That AI Protections Will Always Have Holes
quantamagazine.org·4d
🧪Binary Fuzzing
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·2d
🎯Performance Proofs
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 8
hamberg.no·6d
🦀Rust Macros
Preview
Report Post
FlipLLM: Efficient Bit-Flip Attacks on Multimodal LLMs using Reinforcement Learning
arxiv.org·3d
⚔️Lean Tactics
Preview
Report Post
Disagreements over post-quantum encryption for TLS
lwn.net·5d·
Discuss: Hacker News
🔐Quantum Security
Preview
Report Post