Zero-Knowledge Proofs, Homomorphic Encryption, Lattice-based, Post-Quantum

Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Medical Imaging
dev.to·5d·
Discuss: DEV
Functional Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🧭SMT Solvers
Flag this post
Notes from RIPE 91
blog.apnic.net·3d
🌍Distributed Systems
Flag this post
Online Identity Is Evolving: From Data Storage to Proof-Based Verification with zkTLS
blogger.com·1d
🤝Protocol Design
Flag this post
Another way of doing big O notation
alok.github.io·1d
📝Lisp
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·11h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
pDANSE: Particle-based Data-driven Nonlinear State Estimation from Nonlinear Measurements
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Not a single molecule
forbetterscience.com·4h
📊Information Theory
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·58m
🤝Protocol Design
Flag this post
Better Quantum Computing Stock: D-Wave Quantum (QBTS) vs. IonQ Inc (IONQ)
finance.yahoo.com·21h
🤝Protocol Design
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·16h·
Discuss: Hacker News
Formal Verification
Flag this post
Quantum gets post-quantum cryptograpy tech through Entanglement
blocksandfiles.com·2d
📈Complexity Theory
Flag this post
Show HN: Molecular/Waveform Computing Unification
datamolecular.com·2d·
Discuss: Hacker News
🧫Cellular Automata
Flag this post
What Artifacts Teach Us
systemsapproach.org·3h
🤝Protocol Design
Flag this post
QiNN-QJ: A Quantum-inspired Neural Network with Quantum Jump for Multimodal Sentiment Analysis
arxiv.org·5h
📊Information Theory
Flag this post
Ask HN: Do professional photographers need hardware-level image authentication?
news.ycombinator.com·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·7h·
Discuss: r/LLM
🎲Probabilistic Programming
Flag this post
Proof Connects Quantum Mechanics with Infinitely Intricate Math Structures
wired.com·1d·
Discuss: Hacker News
📈Complexity Theory
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post