∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·6h·
Discuss: DEV
🌳Pattern Match Compilation
# 8 Apothem ...History and Etymology of Math Terms
pballew.blogspot.com·4h·
Discuss: www.blogger.com
📐Mathematical Computing
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·56m·
Discuss: Hacker News
🧮Theorem Provers
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·15h·
Discuss: Hacker News
🔢Algebraic Datatypes
Using Palm Jumeirah's Design to Visualize the Elliptic Curve Method
codingpirate.com·11h·
Discuss: Hacker News
🔢Algebraic Datatypes
The math Module in Python: 6 Common Calculations You Can Make
howtogeek.com·18h
📐Mathematical Computing
An Senegalese Legal Texts Structuration Using LLM-augmented Knowledge Graph
arxiv.org·6h
🔍ML Language
In calculus, going from a single variable to millions of variables is hard.
threadreaderapp.com·16h
🧮Combinator Calculus
Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics
renaissancephilanthropy.org·2d·
Discuss: Hacker News
📐Mathematical Computing
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·1d·
Discuss: Hacker News
💬Interactive REPLs
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
🔍ML Language
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧩Constraint Solvers
XiangShan Vector Floating-Point Unit Design
docs.xiangshan.cc·1d·
Discuss: Hacker News
🎯Bit Vectors
ECS Implementation
reddit.com·1d·
Discuss: r/cpp
🤖Embedded Go
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·35m·
Discuss: Hacker News
⚖️Inference Rules
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·3d
🔬programming language theory
The Inverse Matrix problem
talesfrom.dev·10h
🚂Error Propagation
A grand week
blog.mitrichev.ch·21h·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Indexing, Hashing, and Query
dev.to·18h·
Discuss: DEV
🔗Hash Algorithms
Property-based testing of batch-invariant operations
mmaaz.ca·11h·
Discuss: Hacker News
🎲Property Testing