∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Simple-looking math problem divides people as they struggle to solve sum - can you remember the 'golden rule'?
dailymail.co.uk·1d
📐Mathematical Computing
Folks, we have the best π
lcamtuf.substack.com·23h·
Discuss: Substack
🧮Combinator Calculus
Systematic fraud uncovered in mathematics publications
phys.org·13h
📐Mathematical Computing
Balance between refactoring and inheritance in your code
github.com·18h·
Discuss: Hacker News
🧪Compiler Testing
Reflections on GRC CADD 2025: A Week of Insight, Innovation, and Baseball
blopig.com·10h
✨Effect Inference
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·17h·
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·18h
🌱Minimal ML
Area of the unit disk after a Möbius transformation
johndcook.com·18h·
Discuss: Hacker News
📐Mathematical Computing
The Princetonian
dailyprincetonian.com·1h
🎓Educational Databases
Automating Data Documentation with AI: How 7-Eleven Bridged the Metadata Gap
databricks.com·5h
🔄Incremental Lexing
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
Algebraic Types are not Scary
blog.aiono.dev·19h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·21h·
Discuss: DEV
🧩SAT Solvers
SC Opel wird 120: Was der Verein 2026 plant
main-spitze.de·2h
🐪OCaml
«Maths is my passion»
ethz.ch·1d
∫Mathematical DSLs
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·3h
🔧Error Recovery
Semantic Dictionary Encoding
falvotech.com·15h·
Discuss: Hacker News
🗂️Type Indexing