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

🔐 ZK Proofs: The Hidden Engine Behind Web3 Privacy
dev.to·20h·
Discuss: DEV
🧭SMT Solvers
Flag this post
Diving Deeper into Blockchain and Web3 Product Engineering – Week 1 Learnings
farcaster.xyz·12h·
Discuss: DEV
🧮Programming Language Theory
Flag this post
A problem that takes quantum computers an unfathomable amount of time to solve
phys.org·2d
📈Complexity Theory
Flag this post
Reflections on Trusting Trust (1984)
web.archive.org·11h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·2h·
Discuss: Hacker News
🌍Distributed Systems
Flag this post
DSQL: Keeping Your Pager Quiet
brooker.co.za·1d
🗄️Database Theory
Flag this post
For individuals - split seed phrase, seed phrase and passphrase, or multisig?
stacker.news·10h
🤝Protocol Design
Flag this post
🧠 Understanding Proof of Work (PoW) vs Proof of Stake (PoS) — The Heartbeat of Blockchain
dev.to·14h·
Discuss: DEV
🤝Protocol Design
Flag this post
Quantum Feedback Control of Trapped Ion Qubit Entanglement Fidelity via Adaptive Pulse Shaping
dev.to·3h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
The Design Innovations of NopGraphQL: From API Protocol to a General-Purpose Information Operation Engine
dev.to·2h·
Discuss: DEV
🤝Protocol Design
Flag this post
I just learned what “post-quantum VPN” actually means and the future looks scary
makeuseof.com·2d
📊Information Theory
Flag this post
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
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·4h·
Discuss: Hacker News
🤝Protocol Design
Flag this post
Better Quantum Computing Stock: D-Wave Quantum (QBTS) vs. IonQ Inc (IONQ)
finance.yahoo.com·14h
🤝Protocol Design
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·11h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·9h·
Discuss: Hacker News
Formal Verification
Flag this post