FBI's new secret spy base in New Zealand to counter chilling moves by China
dailymail.co.uk·2h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
American Leadership in the Digital Finance Revolution
sec.gov·13h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Scientists hit quantum computer error rate of 0.000015% — a world record achievement that could lead to smaller and faster machines
livescience.com·3d·
Discuss: Hacker News, Hacker News, r/technews
⚡CUDA
The Economics of Hosting Open Source Models
inference.net·1d·
Discuss: Hacker News
⚡CUDA
Silk Typhoon spun a web of patents for offensive cyber tools, report says
theregister.com·16h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Anaconda Raises 150M Series C
anaconda.com·18h·
Discuss: Hacker News
🦀Rust
From Ontologies to Agents: The Semantic Web's Quiet Rebirth
seanfalconer.medium.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Formal Inertia
daedeluskite.com·1d·
Discuss: Hacker News
✅Formal Methods
Nova: A New Web Framework for Erlang
news.ycombinator.com·18h·
Discuss: Hacker News
✅Formal Methods
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·2d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
RunReveal Raises $7M Seed to Build the AI-Native Security Data Platform
blog.runreveal.com·1d·
Discuss: Hacker News
🦀Rust
An Efficient Circuit Synthesis Framework for TFHE via Convex Sub-graph Optimization
eprint.iacr.org·2d
✅Formal Methods
Building AI flag cleanup
bucket.co·20h·
Discuss: Hacker News, r/programming
✅Formal Methods
Boolean SHA256 with TFHE-rs (2023)
zama.ai·6d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
The Ghost in the Graph, Pt. 1: How Beliefs Become Organizational Behavior
vasily.cc·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
OpenBSD Meets the Solar Neighborhood
laser-coder.net·5d·
Discuss: Hacker News
✅Formal Methods
Network tokens, the payment tech you've never heard of
birchtree.me·18h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Evaluating AI
werd.io·10h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Cranelift compiler efficiency, CFGs, and a branch peephole optimizer
cfallin.org·3d·
Discuss: Hacker News
🦀Rust
A practical guide on how to use the GitHub MCP server
github.blog·1d·
Discuss: Hacker News
🦀Rust