Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
Engineering Behind Fast Analytics: Data in Motion
outofdesk.netlify.app·3h·
Discuss: Hacker News
💎Information Crystallography
All AI Models Might be The Same
blog.jxmo.io·4h·
Discuss: Hacker News
🧠Machine Learning
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·6h
🔐Quantum Security
Advanced PDF Optimization Techniques - 1752741
dev.to·13h·
Discuss: DEV
📝Text Compression
Multiples and powers mod 1
johndcook.com·7h
🎯Arithmetic Coding Theory
Maybe writing speed actually is a bottleneck for programming
buttondown.com·2h·
Discuss: Hacker News
📏Code Metrics
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·6h·
Discuss: DEV
📐Vector Dimensionality
On Information Geometry and Iterative Optimization in Model Compression: Operator Factorization
arxiv.org·2d
🧠Machine Learning
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·11h·
Discuss: Hacker News
💻Local LLMs
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·8h·
Discuss: Hacker News
🤝Distributed Consensus
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·17h
🔐Quantum Security
News for June 2025
ptreview.sublinear.info·3d
🕸️Graph Algorithms
Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·1d
📊Vector Quantization
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·2d·
Discuss: Hacker News
🎯Interactive Provers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Life Update – On Health
jiha-kim.github.io·7h·
Discuss: Hacker News
⬜Minimalism
Information Must Flow: Recursive Bootstrapping for Information Bottleneck in Optimal Transport
arxiv.org·2d
⧗Information Bottleneck
AtCoder Finals Problem Statement
atcoder.jp·1d·
Discuss: Hacker News
🇯🇵Japanese Computing