Feeds to Scour
SubscribedAll
Scoured 9569 posts in 726.5 ms
Day 77: Python Trailing Zeros in Factorial – Genius Number Theory Trick to Count Zeros in n! Without Computing the Huge Number
dev.to·18h·
Discuss: DEV
📐Error Bounds
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
Show HN: Rhettilator – An exact-fraction calculator in base 360
the-rhettilator-9352543e.base44.app·3d·
Discuss: Hacker News
⚡Homebrew CPUs
Preview
Report Post
Overengineering float serialization for no good reason
wejn.org·2d
🧪Binary Fuzzing
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
📐Linear Algebra
Preview
Report Post
Keeping Probabilities Honest: The Jacobian Adjustment
towardsdatascience.com·2d
🎯Arithmetic Coding Theory
Preview
Report Post
jart/jtckdint: C23 Checked Arithmetic
github.com·1d
💧Liquid Types
Preview
Report Post
Variationally correct operator learning: Reduced basis neural operator with a posteriori error estimation
arxiv.org·3d
🧠Machine Learning
Preview
Report Post
Time in C++: Inter-Clock Conversions, Epochs, and Durations
sandordargo.com·4d·
Discuss: Hacker News
🎯Emulation Accuracy
Preview
Report Post
Resurrecting my old Turbo Pascal homework with AI
benashford.github.io·3d·
Discuss: Hacker News
🏗️Compiler Archaeology
Preview
Report Post
Autonomous Uncertainty Quantification for Computational Point-of-care Sensors
arxiv.org·3d
🧲Magnetic Resonance
Preview
Report Post
TTL calculator with diagnostic mode
hackster.io·4d
⚡Circuit Archaeology
Preview
Report Post
When compilers surprise you
xania.org·3d·
Discuss: Hacker News
🚀Compiler Optimizations
Preview
Report Post
Tool-Augmented Hybrid Ensemble Reasoning with Distillation for Bilingual Mathematical Problem Solving
arxiv.org·5d
🧮SMT Solvers
Preview
Report Post
On Factoring and Power Divisor Problems via Rank-3 Lattices and the Second Vector
arxiv.org·5d
🧮SMT Solvers
Preview
Report Post
Research Reveals the Optimal Way to Optimize
wired.com·6d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Understanding Vibe Proving | Towards Data Science
towardsdatascience.com·5d
🎯Proof Tactics
Preview
Report Post
Understanding AI Benchmarks
blog.sshh.io·6d·
Discuss: Hacker News
⚡Performance Mythology
Preview
Report Post
Sheena Chohan to Star in Tamil Folk Drama ‘Arjunanin Allirani,’ Lilith Tale ‘Bhaayava’ (EXCLUSIVE)
variety.com·2h
🎬Video Codecs
Preview
Report Post
Live: Zelensky to meet Trump for talks on Ukraine peace plan
france24.com·1h
📡RSS
Preview
Report Post