Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·6h·
Discuss: Hacker News
📱Edge AI
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·7h·
🦀Rust
5 Maths Gems #192
resourceaholic.com·1d·
🎓Education
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·2d·
📊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·21h·
Discuss: Hacker News
🎛️Control theory
Basic Guide to Einsum
ajcr.net·9h·
Discuss: Hacker News
🐍Python
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·12h·
Discuss: Hacker News
📱Edge AI
A triangle inequality by Erdős
johndcook.com·3d·
Discuss: Hacker News
🕸️Mesh Robotics
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·42m·
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
The Quest to Find the Longest-Running Simple Computer Program
wired.com·17h·
🏋️Isaac Gym
Paul's Online Math Notes
tutorial.math.lamar.edu·3d·
Discuss: Hacker News
📊Signal Processing
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·5h·
Discuss: Hacker News
👁️‍🗨️Multimodal Sensing
Gauss, an Agent for Autoformalization
math.inc·3d·
📱Edge AI
Measuring success when doing Math
kidswholovemath.substack.com·2d·
Discuss: Substack
🎓Education
How Quantized Models Are Making AI Faster on Mobile
lktechacademy.com·14h·
Discuss: r/LocalLLaMA
📱Edge AI
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·2d·
Discuss: Hacker News
📊Signal Processing
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·3d·
Discuss: Substack
🤖llm