Folks, we have the best π
lcamtuf.substack.com·2h·
Discuss: Substack
🗺SLAM
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·10h·
Discuss: Hacker News
📱Edge AI
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·11h·
Discuss: r/programming, r/rust
🦀Rust
5 Maths Gems #192
resourceaholic.com·1d·
Discuss: www.resourceaholic.com
🎓Education
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·3d·
Discuss: Lobsters, Hacker News
📊Signal Processing
An information-theoretic foreshadowing of mathematicians' sudden insights
pnas.org·1d·
Discuss: Hacker News
🐝Swarm Intelligence
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·1d·
Discuss: Hacker News
🎛️Control theory
Basic Guide to Einsum
ajcr.net·13h·
Discuss: Hacker News
🐍Python
The Quest to Find the Longest-Running Simple Computer Program
wired.com·21h·
Discuss: Hacker News, Hacker News
🏋️Isaac Gym
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·17h·
Discuss: Hacker News
📱Edge AI
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·4h·
Discuss: Hacker News
📱Edge AI
Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion
cdnsciencepub.com·2d·
Discuss: Hacker News
🚀Space Robotics
Paul's Online Math Notes
tutorial.math.lamar.edu·3d·
Discuss: Hacker News
📊Signal Processing
A triangle inequality by Erdős
johndcook.com·3d·
Discuss: Hacker News
🕸️Mesh Robotics
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·3d·
Discuss: Hacker News
🎛️Control theory
Cognitive and Gestalt psychology in your code: SMVP pattern
github.com·9h·
Discuss: Hacker News
👁️‍🗨️Multimodal Sensing
Gauss, an Agent for Autoformalization
math.inc·3d·
Discuss: Hacker News, Hacker News, Hacker News
📱Edge AI
Measuring success when doing Math
kidswholovemath.substack.com·2d·
Discuss: Substack
🎓Education
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
📊Signal Processing
How Quantized Models Are Making AI Faster on Mobile
lktechacademy.com·19h·
Discuss: r/LocalLLaMA
📱Edge AI