EP-HDC: Hyperdimensional Computing with Encrypted Parameters for High-Throughput Privacy-Preserving Inference
arxiv.org·1d
🔐ChaCha20
Flag this post
News for October 2025
ptreview.sublinear.info·1d
Property Testing
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·18h·
📏Linear Types
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·3d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·5h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·11h
🧮SMT Solvers
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·2d
⛓️Blockchain
Flag this post
Building a P2P Rental Marketplace - Full-Stack Architecture with Flutter & Express.js
revolvo.tech·1h·
Discuss: DEV
🌐Axum
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·1d·
Discuss: DEV
⚛️Quantum Computing
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·3d·
Discuss: Hacker News
🔐ChaCha20
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·59m·
Discuss: r/rust
🔀SIMD Programming
Flag this post
Enhancing Federated Learning Privacy with QUBO
arxiv.org·11h
🔒Digital Privacy
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·5d·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
dev.to·3d·
Discuss: DEV
🔐ChaCha20
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·19h·
Discuss: Hacker News
👁️Computer Vision
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🏭Code Generation
Flag this post