Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·19h
📐Compression Bounds
A small rant about compression
codecs.multimedia.cx·2d
📦Deflate
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
How JPEG Works: The Subtle Beauty and Art of Imperfection
techspot.com·1d
🖼️JPEG XL
Sorting encrypted data without decryption: a practical trick
dev.to·8h·
Discuss: DEV
🔐Hash Functions
Three ways formally verified code can go wrong in practice
buttondown.com·6h
📜Proof Carrying Code
No Bullshit Guide to Statistics prerelease
minireference.com·5h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Michael Kohn - tin can phone modem
mikekohn.net·6h
🧪Cassette Hacks
High-Quality Video Tape Conversion for Homes and Businesses
forums.anandtech.com·17h
📼Tape Simulation
A Proof of the Riemann Hypothesis
future.forem.com·1d·
Discuss: DEV
🎯Arithmetic Coding Theory
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·3d
🔢Reed-Solomon Math
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·8h
📐Mathematical Art
QUIC! Jump to User Space!
hackaday.com·7h
🌐Network Protocols
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
💎Information Crystallography
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
[P] Lossless compression for 1D CNNs
reddit.com·12h·
Discuss: r/MachineLearning
📊Quantization
Show HN: I built a video-to-text tool – 10 min free daily, no signup
harku.io·9h·
Discuss: Hacker News
🎵Audio Streaming
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs