Feeds to Scour
SubscribedAll
Scoured 9576 posts in 3.05 s
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
Day 77: Python Trailing Zeros in Factorial – Genius Number Theory Trick to Count Zeros in n! Without Computing the Huge Number
dev.to·15h·
Discuss: DEV
📐Error Bounds
Preview
Report Post
Cursed circuits #4: PLL frequency multiplier
lcamtuf.substack.com·1d·
Discuss: Substack
⚡Circuit Verification
Preview
Report Post
Optimizing Bracha's Reliable Broadcast: Shaving Rounds off a 37-Year-Old Algorithm
blog.can.ac·3d
🤝Paxos Consensus
Preview
Report Post
Variationally correct operator learning: Reduced basis neural operator with a posteriori error estimation
arxiv.org·2d
🧠Machine Learning
Preview
Report Post
Playful Math Carnival 183
mathhombre.blogspot.com·1d·
Discuss: mathhombre.blogspot.com
📐Mathematical Art
Preview
Report Post
Overengineering float serialization for no good reason
wejn.org·2d
🧪Binary Fuzzing
Preview
Report Post
Keeping Probabilities Honest: The Jacobian Adjustment
towardsdatascience.com·2d
🎯Arithmetic Coding Theory
Preview
Report Post
Quadratrix of Hippias
en.wikipedia.org·23h·
Discuss: Hacker News
📐Projective Geometry
Preview
Report Post
Everything Is a Number
francescocarlucci.com·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·13h·
Discuss: Hacker News
📺VT100
Preview
Report Post
Mathematicians spent 2025 exploring the edge of mathematics
newscientist.com·1d
📚Archive Mathematics
Preview
Report Post
Running Code and Failing Models – Rajiv Shah
projects.rajivshah.com·2d
🧠Machine Learning
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
💧Liquid Types
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
📐Linear Algebra
Preview
Report Post
wwes4/AI_Accel_1.5x: AI acceleration framework for ~1.5x speedups in mid-sized models via tension-based pruning. Built utilizing xAI's Grok.
github.com·1d·
Discuss: Hacker News
📊Quantization
Preview
Report Post
🎲 The Automatic Grover Algorithm
lucamarx.com·1d
⚛️Quantum Algorithms
Preview
Report Post
Validating AI output with consistency checks & formal proofs
johndcook.com·3d·
Discuss: Hacker News, Hacker News
👑Isabelle
Preview
Report Post
Information, Physics, and Computation (Oxford Graduate Texts): Mézard, Marc, Montanari, Andrea: 8601410201722: Amazon.com: Books
amazon.com·1d
📐Compression Mathematics
Preview
Report Post
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
⚔️Lean Tactics
Preview
Report Post