🔐 Cryptography

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

How to Make Your Entryway Smarter in 2025: Tech Gadgets for Security, Organization & Cleanliness
gadzetto.com·5h
🛡️IoT Security
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·1d·
Discuss: www.blogger.com
📐Type Theory
97% of Companies Breached Permit Employees' Unauthorized AI Access
thelowdownblog.com·11h·
Discuss: www.thelowdownblog.com
🛡️IoT Security
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·1d·
Discuss: Hacker News
🎲Probabilistic Programming
One Third of the Web Will Stop Working in 4 Days
lowendbox.com·1d·
Discuss: Hacker News
🦀Rust
Announcing Burn-LM (alpha): LLM Inference Engine
burn.dev·1d
⚖️Logic Programming
Living Off the Cloud: Abusing Cloud Services for Red Teaming
infosecwriteups.com·19h
🌍Distributed Systems
Unveiling the First Zero to TEN Incubation Cohort
threadreaderapp.com·7h
🧭SMT Solvers
DeepSnitch Introduces Five Specialized AI Agents As Token Presale Goes Live
hackernoon.com·3h
⚖Algorithmic Game Theory
I'm currently learning C++, but I'm struggling to break down the learning path.
reddit.com·1d·
Discuss: r/cpp
📝Lisp
Evaluating COVID 19 Feature Contributions to Bitcoin Return Forecasting: Methodology Based on LightGBM and Genetic Optimization
arxiv.org·20h
🎲Probabilistic Programming
What K8s Users Really Think About AI in 2025
thenewstack.io·8h
🤖Sci-Fi
Iron-catalyzed alkyne alkylzincation affected by counterions
nature.com·6h
🧩Theorem Proving
IT Security Weekend Catch Up – August 1, 2025
badcyber.com·3d
🛡️IoT Security
How I Built AI Agents That Actually Help Evaluate Private Companies
pub.towardsai.net·1d
🧩Theorem Proving
Pallas, Vesta, and Zcash
johndcook.com·2d
🧭SMT Solvers
Hydrogen network topology optimization by MINLP: Comparing retrofit with new-built design scenarios
sciencedirect.com·1d
🕸️Graph Theory
Ethereum vs NEAR: A Developer’s Architecture Deep-Dive
dev.to·1d·
Discuss: DEV
🤝Protocol Design
Is AI Really Making Us Dumber?
dev.to·35m·
Discuss: DEV
🧩Theorem Proving
Deep contrastive learning for feature alignment: Insights from housing-household relationship inference
sciencedirect.com·1d
🎲Probabilistic Programming