🔐 Cryptography

Secure Communication, Encryption Algorithms, Zero-knowledge Proofs, Blockchain

ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·18h·
Discuss: Hacker News
📡Distributed Systems
Flag this post
Policy, privacy and post-quantum: anonymous credentials for everyone
blog.cloudflare.com·3d
🕸️Service Mesh
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·18h·
Discuss: Hacker News
✅Formal Verification
Flag this post
ARCS 2.0: Pioneering Data Sovereignty Through Real-World Utility and Cultural Heritage
hackernoon.com·11h
🌐HTMX
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·11h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·18h·
Discuss: Hacker News
🔄Compiler Design
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
🦀Rust
Flag this post
Signal’s Post-Quantum Cryptographic Implementation
schneier.com·4d·
Discuss: Hacker News
📡Distributed Systems
Flag this post
The cryptography behind electronic passports
blog.trailofbits.com·2d·
Discuss: Hacker News
✅Formal Verification
Flag this post
Tutorials in Optomechanics
wp.optics.arizona.edu·4h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Oxy is Cloudflare's Rust-based next generation proxy framework
blog.cloudflare.com·7h·
Discuss: Hacker News
🕸️Service Mesh
Flag this post
North Korean hackers seen using blockchain to hide crypto-stealing malware
therecord.media·2d·
Discuss: Hacker News
📦WebAssembly
Flag this post
De Bruijn Numerals
text.marvinborner.de·3d·
Discuss: Hacker News
🔄Compiler Design
Flag this post
German Research Foundation wants to retrieve data from US clouds
heise.de·1h·
Discuss: Hacker News
🔍eBPF
Flag this post
Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Programming for Computations: Matlab/Octave
link.springer.com·5h·
Discuss: Hacker News
🔌Network Programming
Flag this post
LangChain Might Be the New WordPress of AI
designveloper.com·18h·
Discuss: r/programming
🔄Compiler Design
Flag this post
Moon Duchin on the Math of Gerrymandering
nytimes.com·24m·
Discuss: Hacker News
📡Distributed Systems
Flag this post
Ask HN: Do professional photographers need hardware-level image authentication?
news.ycombinator.com·1d·
Discuss: Hacker News
🧠Computer Architecture
Flag this post
A Practitioner's Guide to Kolmogorov-Arnold Networks
arxiviq.substack.com·16h·
Discuss: Substack
🔄Compiler Design
Flag this post