∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·4h
🔢Algebraic Datatypes
Calculus Made Easy by Silvanus P. Thompson
calculusmadeeasy.org·2d·
Discuss: Hacker News
πPi Calculus
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·19h·
Discuss: DEV
🧮Theorem Provers
What is Algebraic about Algebraic Effects?
interjectedfuture.com·16h
💫Effect Systems
I didn’t know these Excel functions existed, but now I can’t live without them
makeuseof.com·18h
📝Editor Buffers
Linkage
11011110.github.io·16h
🧮Combinator Calculus
The Ancient Story of Who Invented Math
inventorspot.com·4h
📐Mathematical Computing
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·4h
🔧Scheme Macros
Mathober 2025
fractalkitty.com·4h
📐Mathematical Computing
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·4d·
Discuss: Lobsters, Hacker News
∫Mathematical DSLs
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
20+ Beautiful Dover Publications Vintage Math Textbook Covers
abakcus.com·1d
📐Mathematical Computing
Mechanical Proving the Symplecticity of Partitioned Runge--Kutta Methods for Determinate and Stochastic Hamiltonian Systems
arxiv.org·4h
🧮Combinator Calculus
The Horton-Strahler number of butterfly trees
arxiv.org·4h
🧮Combinator Calculus
Home Page
pembinavalleyonline.com·5h
🏠indieweb
The Invention of Zero: How Nothing Became Something
miragenews.com·3h
📐Mathematical Computing
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·14h·
Discuss: Hacker News
🔗Lexical Scoping