Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·1d
📐Compression Bounds
Generalized Orders of Magnitude (GOOMs)
github.com·12h·
Discuss: Hacker News
🕸️Tensor Networks
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·1d
💎Information Crystallography
#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·21h·
Discuss: www.blogger.com
λLambda Encodings
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·1d
📐Mathematical Art
An enough week
blog.mitrichev.ch·2d·
Discuss: blog.mitrichev.ch
📈Linear programming
Cactus Language • Semantics 3
inquiryintoinquiry.com·1d
🔢Denotational Semantics
Sharp Bilinear Filters: Big Clean Pixels for Pixel Art
bumbershootsoft.wordpress.com·8h
🌈Color Archaeology
Constant-Time Crypto in Fil-C
fil-c.org·30m·
Discuss: Hacker News
🔒Type Safety
Monument Engine: Jx
monument.ai·12h·
Discuss: Lobsters
⚡SIMD Vectorization
Three ways formally verified code can go wrong in practice
buttondown.com·1d
📜Proof Carrying Code
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
A Proof of the Riemann Hypothesis
dev.to·3d·
Discuss: DEV
⚔️Lean Theorem
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·2d·
Discuss: Hacker News
🔢Reed-Solomon Math
Pokémon Color Palette Swapping
fanyangxyz.github.io·3h·
Discuss: Hacker News
🌈Color Science
Gleam Programming Language Tour
tour.gleam.run·19h·
Discuss: Hacker News
🦀Rust Macros
Testing Language Models: Engineering Confidence Without Certainty
gojiberries.io·5h·
Discuss: Hacker News
⚙️Proof Engineering
OCaml 5.4 Release: New Features, Fixes, and More
tarides.com·20h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms