Feeds to Scour
SubscribedAll
Multiplying our way out of division
xania.org·9h
⚔️Lean Tactics
Preview
Report Post
A Proof of P = NP
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·1d
🧮SMT Solvers
Preview
Report Post
A series of tricks and techniques I learned doing tiny GLSL demos
blog.pkh.me·2h
📟Terminal Physics
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·2d
🎯Performance Proofs
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·4d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Bottoms Up Factoring, A Question of History
pballew.blogspot.com·13h·
Discuss: www.blogger.com
⚔️Lean Theorem
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·1d
🔐Quantum Security
Preview
Report Post
What Got Lost in the Optimization
medium.com·19h
🌍Cultural Algorithms
Preview
Report Post
Things I assumed you knew
resourceaholic.com·7h·
Discuss: www.resourceaholic.com
🧮Theorem Proving
Preview
Report Post
Day 57: Python GCD & LCM with Euclidean Algorithm, Lightning-Fast Divisor Math That's 2000+ Years Old (And Still Unbeatable)
dev.to·11h·
Discuss: DEV
🧮SMT Solvers
Preview
Report Post
1950s mechanical calculator crumbles in the face of divide-by-zero conundrum — relic spins its gears uncontrollably in 'chaotic loop' of endless motion
tomshardware.com
·1d
📐Arithmetic Precision
Preview
Report Post
Breadboards that are set up on my desk right now
circusscientist.com·5h
⚙️Tape Mechanics
Preview
Report Post
Differential Filtering in a Common Basic Cycle: Multi-Major Trajectories and Structural Bottlenecks in Exact Sciences and Engineering Degrees
arxiv.org·2d
📐Linear Algebra
Preview
Report Post
Why do we become mathematicians?
maa.org·13h·
Discuss: Hacker News
📐Mathematical Art
Preview
Report Post
An idea for getting approximately calibrated 50% subjective probability ranges
statmodeling.stat.columbia.edu·1d
🧠Intelligence Compression
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·1d
🧠Lisp Dialects
Preview
Report Post
Quantitative correlations and some problems on prime factors of consecutive integers
terrytao.wordpress.com·5d
🎯Arithmetic Coding Theory
Preview
Report Post
Arc Prize 2025 Results and Analysis: Year of the Refinement Loop
arcprize.org·1d·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Cryptography for the Everyday Developer: Understanding RSA
sookocheff.com·2d
🔐Homomorphic Encryption
Preview
Report Post