∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.com·2d·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
5 Maths Gems #193
resourceaholic.com·1d·
Discuss: www.resourceaholic.com
📐Mathematical Computing
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·9h·
Discuss: Hacker News
🎭Racket Modules
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·22h
🌱Minimal ML
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·8h·
Discuss: Hacker News
🪜Recursive Descent
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🌱Minimal Languages
Flag this post
Discovering JavaScript's Hidden Secrets: Understanding Numerical Algorithms.
dev.to·1d·
Discuss: DEV
📐Mathematical Computing
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Calculus
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1h·
Discuss: Hacker News
🌳B+ Trees
Flag this post
November 1 Wikipedia featured article
en.wikipedia.org·2h
📚Factor
Flag this post
New: Online Master’s Program in Applied Ontology
dailynous.com·1d
🔗Category Theory
Flag this post
Stochastic computing
scottlocklin.wordpress.com·9h
🖥️Lisp Machines
Flag this post
This tool is basically NotebookLM for math problems
xda-developers.com·1d
🎯Constraint Solving
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·6h·
Discuss: Hacker News
🔬Nanopasses
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·12h·
Discuss: Lobsters, Hacker News
🗂️Type Indexing
Flag this post
SQL for Data Analysis Tutorial
mygreatlearning.com·1d
📈Query Optimization
Flag this post
C++ is my first programming language
reddit.com·1d·
Discuss: r/cpp
🏗️Minimal Compilers
Flag this post
I Use Python, but I’m Learning R and the Tidyverse for Data Analysis Too
howtogeek.com·13h
🌱Minimal Schemes
Flag this post