Big O vs Hardware: Better Complexity ≠ Better Performance
blog.codingconfessions.com·1d·
Discuss: Hacker News
🔢Bitwise Algorithms
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
🎯Proof Tactics
Relative Completeness of Incorrectness Separation Logic
arxiv.org·7h
🧠Separation Logic
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
Python LeetCode 70: Climbing Stairs - (Easy)
dev.to·12h·
Discuss: DEV
⚔️Lean Tactics
Carnival of Maths #241
aperiodical.com·1d
📐Mathematical Art
SAT Requires Exhaustive Search
link.springer.com·15h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Toroidally Progressive Stratified Sampling in 1D
blog.demofox.org·1d
🌊Streaming Algorithms
Extensions and Shadows (9)
sites.psu.edu·21h
✨Effect Handlers
Why mathematicians want to destroy infinity – and may succeed
newscientist.com·19h
⏰Time Crystals
Russian Teacher Tricks American Students
mindyourdecisions.com·15h
🌀Differential Geometry
Physics+ Euler Lagrange Equation: UNIZOR.COM - Physics+ - Variations
unizor.blogspot.com·1d·
Discuss: www.blogger.com
⚔️Lean Theorem
Discarded particles dubbed 'neglectons' may unlock universal quantum computing
phys.org·2h
⚛️Information Physics
[P] Implementing Einsum
lyadalachanchu.github.io·1d
📐Linear Algebra
Show HN: Software devs, I made a tool to make creating estimates less painful
devtimate.com·2h·
Discuss: Hacker News
⚡Proof Automation
SIEVE — a better algorithm than LRU?
blog.apnic.net·6h
💨Cache Analysis
On This Day in Math - August 4
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📜Manuscript Algebras
How Many Sides Does A Circle Have?
richardelwes.co.uk·1d
🔲Cellular Automata
The Role of Review Process Failures in Affective State Estimation: An Empirical Investigation of DEAP Dataset
arxiv.org·7h
🧠Intelligence Compression
News for July 2025
ptreview.sublinear.info·3d
🎯Performance Proofs