Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·12h
📐Mathematical Art
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·7h·
Discuss: Hacker News
🦀Rust Macros
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·19h
💎Information Crystallography
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·1d·
Discuss: Hacker News
🔢Reed-Solomon Math
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
🔢Denotational Semantics
Three ways formally verified code can go wrong in practice
buttondown.com·11h
📜Proof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Status II
andyjohnson.uk·16h
📄Document Digitization
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
Cryptography for the Everyday Developer: Number Theory for Public Key Cryptography
sookocheff.com·3d
🔢Reed-Solomon Math
Experimenting with ACL2 and Claude Code
mikedodds.org·16h·
Discuss: Hacker News
👑Isabelle
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🎯Gradual Typing
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
Enhancing Vector Signal Generator Accuracy with Adaptive Polynomial Regression Calibration
dev.to·16h·
Discuss: DEV
📡Audio Modulation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras