Quantum-Centric Supercomputing
ibm.com·11h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Attribute-based Quantum Broadcast Encryption with Composite Policies via Symmetric Unitary t-Designs
eprint.iacr.org·3d
🔐Zero-Knowledge Proofs
NSF Starts Ramping Up the National Quantum Virtual Laboratory
hpcwire.com·5h·
Discuss: Hacker News
🐛Vulnerability Research
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Quantum computing firm reaches $10bn valuation as investor interest builds
theguardian.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
IRHash: Efficient Multi-Language Compiler Caching by IR-Level Hashing
usenix.org·8h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Strategies for securing non-human identities (services, workloads, AI agents)
cerbos.dev·5h·
Discuss: Hacker News, r/programming
🔐Zero-Knowledge Proofs
Show HN: I built a tool that turns cryptography papers into working Python code
paperstoapp.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·10h·
Discuss: Hacker News
🦀Rust
Show HN: No More Vendor Lock-In: Our Open-Source Protocol for AI Portability
github.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
General Atomics MQ-9 Reaper
en.wikipedia.org·15h·
Discuss: Hacker News
✅Formal Methods
Building Supabase-Like OAuth Authentication for MCP Servers
hyprmcp.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Primary Keys in Sharded Databases
pgdog.dev·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
SoK: Blockchain Consensus in the Quantum Age
eprint.iacr.org·4d
🔐Zero-Knowledge Proofs
Statement: The Russell-Einstein Manifesto
pugwash.org·11h·
Discuss: Hacker News
🦀Rust
Radicle 1.4.0
radicle.xyz·10h·
Discuss: Lobsters, Hacker News
🦀Rust
Galactic Algorithm
en.wikipedia.org·22h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Case Study: XDR Cloud Operations on AWS
crestdata.ai·6h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Does anyone still use Morse code?
morse-coder.com·1h·
Discuss: Hacker News
✅Formal Methods
Wondered what it would look like to have an AI Copilot for Red Team Operator?
5iprojects.com·1d·
Discuss: Hacker News
✅Formal Methods