What’s New in Calico – Summer 2025
tigera.io·1d
📦Container Security
DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·9h·
Discuss: Hacker News
🔐Quantum Security
A Bitcoin Core Code Analysis
binaryigor.com·1d·
Discuss: Hacker News
🧬Bitstream Evolution
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·12h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Bringing Cloudflare’s AI to FedRAMP High
blog.cloudflare.com·1d
🌊Stream Processing
Music to Break Models By
matthodges.com·22h·
Discuss: Hacker News
📼Cassette Hacking
Protocols, Not Platforms: A Technological Approach to Free Speech (2019)
knightcolumbia.org·27m·
Discuss: Hacker News
📡Feed Archaeology
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·1d·
Discuss: r/kubernetes
📦Container Security
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·14h
✅Format Verification
A Dynamic Approach to Collaborative Document Writing
arxiv.org·23h
🔗Parser Combinators
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·13h
🦀Rust Macros
Linux Foundation says yes to NoSQL via DocumentDB
theregister.com·1d·
Discuss: Hacker News
🔓Open Source Software
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
AWS Weekly Roundup: Amazon Aurora 10th anniversary, Amazon EC2 R8 instances, Amazon Bedrock and more (August 25, 2025)
aws.amazon.com·1d
🌊Streaming Systems
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·12h·
Discuss: Hacker News
🛡️Error Boundaries
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·1d·
Discuss: Hacker News
🔐Archive Encryption
Ensuring Idempotency in Distributed Systems – Lessons from Go & GCP
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Announcing general availability of Firestore with MongoDB compatibility
cloud.google.com·11h·
Discuss: Hacker News
🔄Sync Engine