∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Home Page
pembinavalleyonline.com·7h
🏠indieweb
The Invention of Zero: How Nothing Became Something
miragenews.com·5h
📐Mathematical Computing
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·16h·
Discuss: Hacker News
🔗Lexical Scoping
Folks, we have the best π
lcamtuf.substack.com·1d·
Discuss: Substack
🧮Combinator Calculus
Simple-looking math problem divides people as they struggle to solve sum - can you remember the 'golden rule'?
dailymail.co.uk·1d
📐Mathematical Computing
Systematic fraud uncovered in mathematics publications
phys.org·17h
📐Mathematical Computing
Reflections on GRC CADD 2025: A Week of Insight, Innovation, and Baseball
blopig.com·14h
✨Effect Inference
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·22h·
Discuss: Hacker News
🌱Minimal Lisps
Mathematics Discovering Its Consciousness: Lasso Estimator as Cosmic Backdoor
zakelfassi.com·1d·
Discuss: Hacker News
λLambda Calculus
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·22h
🌱Minimal ML
QA/Dev Report: August 2025
qa.blog.documentfoundation.org·59m
🐛Interactive Debuggers
Area of the unit disk after a Möbius transformation
johndcook.com·22h·
Discuss: Hacker News
📐Mathematical Computing
Narcissisitic Numbers .... The History and Etymology of Math Terms
pballew.blogspot.com·1d·
Discuss: www.blogger.com
📐Mathematical Computing
Why Precedence Matters 🤓
dev.to·2d·
Discuss: DEV
📐Mathematical Computing
Capture the Coin and Its Two Sides as Three Notes
christiantietze.de·3h
🔗Concatenative Theory
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·7h
🔧Error Recovery
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧩SAT Solvers
What I Learned During My Paternity Leave
thecoder.cafe·41m
📚Self-Documenting Code
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking