🔐 Cryptography

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

What happens when line between authentic and artificial is impossible to draw?
syntheticauth.ai·1d·
Discuss: Hacker News
✅Formal Verification
Cheating on Quantum Computing Benchmarks
schneier.com·2d·
Discuss: Hacker News
⚡Performance Engineering
Phylo-rs: an extensible phylogenetic analysis library in Rust
bmcbioinformatics.biomedcentral.com·5h·
Discuss: Hacker News
📦WebAssembly
The Rubik's Cube Perfect Scramble
solutionslookingforproblems.com·1h·
Discuss: Hacker News
🔄Compiler Design
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·2d·
Discuss: Hacker News
📦WebAssembly
Authenticating GitHub Actions without API keys
oblique.security·1d·
Discuss: r/programming
🕸️Service Mesh
Deepfakes and the War on Trust
thecipherbrief.com·1d·
Discuss: Hacker News
🕸️Service Mesh
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·3d·
Discuss: Hacker News
✅Formal Verification
GenosDB: Distributed Graph-Based Database
genosdb.com·19h·
Discuss: Hacker News
🗄Database Systems
RIP Amazon QLDB
news.alvaroduran.com·2d·
Discuss: Hacker News
🗄Database Systems
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·1d·
Discuss: Hacker News
🔍eBPF
System Design Interviewing Tips (2022)
yusufaytas.com·23h·
Discuss: Hacker News, r/programming
🚢DevOps
CISA roasts unnamed critical national infrastructure body for shoddy security hygiene
theregister.com·7h·
Discuss: Hacker News
🔍eBPF
Are Cyber Defenders Winning? – Lawfare
lawfaremedia.org·1d·
Discuss: Hacker News
👁️Observability
Charting the Course: Future Innovations for NFT Marketplace dApp
hackernoon.com·3d
🌐HTMX
About CodeChain – Building Scalable Digital Solutions
reddit.com·2d·
Discuss: r/programming
🚢DevOps
From Local Hack to Production: How We Solved the MCP Multi-Tenant Auth Problem
braingrid.ai·2d·
Discuss: Hacker News
📦WebAssembly
Still Up. Still Evil
vulncheck.com·2d·
Discuss: Hacker News
📦WebAssembly
Top Anonymous Email Services for Privacy Lovers
cyble.com·1d·
Discuss: Hacker News
🕸️Service Mesh
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·3d·
Discuss: Hacker News
✅Formal Verification