Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·16h
💎Information Crystallography
Quantum Relative Entropy Decay Composition Yields Shallow, Unstructured k-Designs
arxiv.org·22h
⚛️Quantum Circuits
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·10h
📐Mathematical Art
SSH Security: Why You Should Touch to Verify
ubicloud.com·19h·
Discuss: Hacker News
🔒Hardware Attestation
Categorical systems theory
topos.institute·14h
🔀Category Theory
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·7h·
Discuss: DEV
⚡Incremental Computation
Three ways formally verified code can go wrong in practice
buttondown.com·9h
📜Proof Carrying Code
Announcing the 2025 NDSA Excellence Award Winners
ndsa.org·14h
🏛️PREMIS Metadata
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Quantum computing is "mission crtical"
federalnewsnetwork.com·14h·
Discuss: Hacker News
⚛️Quantum Tape
Beyond Grid-Locked Voxels: Neural Response Functions for Continuous Brain Encoding
arxiv.org·22h
🧠Neural Codecs
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·1d
🕸️Graph Algorithms
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·4h·
Discuss: Hacker News
🎯Performance Proofs
Slip – A Lisp System in JavaScript
lisperator.net·13h·
Discuss: Hacker News
🔗Lisp
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·22h
📐Compression Bounds
Randomized and quantum approximate matrix multiplication
arxiv.org·22h
🔐Quantum Cryptography
Caltech Shatters Record With 6,100-Qubit Quantum Array
scitechdaily.com·1d
⚛️Quantum Tape
Leveraging Normalizing Flows for Conservative 6D Beam Reconstruction: Conclusions and Extensions
hackernoon.com·2d
🏺Computational Archaeology
Mathematical model of memory suggests 7 senses are optimal
skoltech.ru·1d·
Discuss: Hacker News
🔲Cellular Automata
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math