Russia's Aeroflot cancels flights after alleged cyberattack
kyivindependent.com·20h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Interfaces for representing uncertainty
digitalseams.com·1d·
Discuss: Hacker News
🦀Rust
Show HN: My Open Source HTML Drafting Program
github.com·8h·
Discuss: Hacker News
✅Formal Methods
Show HN: CIAM – A curated list of CIAM resources for anyone adding auth
github.com·1d·
Discuss: Hacker News
✅Formal Methods
Building a Modern and Frugal Kubernetes Network with Cilium ClusterMesh
medium.com·22h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
European Commission brings use of Microsoft 365 into compliance
edps.europa.eu·15h·
Discuss: Hacker News
✅Formal Methods
Modernising the Amiga at Forty
benjamin.computer·2h·
Discuss: Hacker News
✅Formal Methods
Reverse engineered 90 legacy builder tools – created a YARA corpus
news.ycombinator.com·19h·
Discuss: Hacker News
✅Formal Methods
Fable Security Is Fighting Bad AI with Good AI
forbes.com·11h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
I Built QZ–and How Echelon Is Now Breaking It
robertoviola.cloud·3d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
An Introduction to Linear Regression Using Baseball Data
runningonnumbers.com·2h·
Discuss: Hacker News
🦀Rust
Context-protector: security wrapper for MCP servers
github.com·16h·
Discuss: Hacker News
✅Formal Methods
How to Copy-Protect Malleable-Puncturable Cryptographic Functionalities Under Arbitrary Challenge Distributions
eprint.iacr.org·4d
🔐Zero-Knowledge Proofs
OpenPsion
linux-7110.sourceforge.net·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Approximating Reality with CSS Linear()
blog.nordcraft.com·11h·
Discuss: Hacker News
🎨Rendering
Inference Gateway – Open-Source
github.com·2d·
Discuss: Hacker News
✅Formal Methods
When Fluid Flows Become Computers: A New Limit to AI's Predictive Power
lightcapai.medium.com·1d·
Discuss: Hacker News
✅Formal Methods
Show HN: Memory Bank Templates – Cure AI Context Reset Problems
medium.com·1d·
Discuss: Hacker News
✅Formal Methods
Polish Train Maker Is Suing the Hackers Who Exposed Its Anti-Repair Tricks
ifixit.com·7h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Module SQL
docs.mimer.com·2h·
Discuss: Hacker News
✅Formal Methods