∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

The Princetonian
dailyprincetonian.com·8h
🎓Educational Databases
Algebraic Types are not Scary
blog.aiono.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
SC Opel wird 120: Was der Verein 2026 plant
main-spitze.de·9h
🐪OCaml
«Maths is my passion»
ethz.ch·1d
∫Mathematical DSLs
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Semantic Dictionary Encoding
falvotech.com·22h·
Discuss: Hacker News
🗂️Type Indexing
How to Become a Machine Learning Engineer (Step-by-Step)
towardsdatascience.com·1d
🌱Minimal ML
The Prompt Engineering Report Distilled: Quick Start Guide for Life Sciences
arxiv.org·8h
💬REPL Design
Balance between refactoring and inheritance in your code
github.com·1d·
Discuss: Hacker News
🧪Compiler Testing
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·17h·
Discuss: DEV
🏷️Attribute Grammars
Model Kombat by HackerRank
producthunt.com·8h
🏁Language Benchmarks
Harris makes proclamations in Allegany County, including Sheriff’s Week - Olean Times Herald
oleantimesherald.com·9h
🐍lisp
What I Learned During My Paternity Leave
thecoder.cafe·2h
📚Self-Documenting Code
Cryptanalysis and design for a family of plaintext non-delayed chaotic ciphers
arxiv.org·8h
🔗Hash Functions
HARP: Hallucination Detection via Reasoning Subspace Projection
arxiv.org·8h
🪜Recursive Descent
Paul's Online Math Notes
tutorial.math.lamar.edu·4d·
Discuss: Hacker News
📐Mathematical Computing
Quantum-Assisted Recursive Algorithm for Solving the Exact Cover Problem
arxiv.org·8h
⚡Partial Evaluation
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·5d·
Discuss: Hacker News
🔮Type Inference Visualization
Automating Data Documentation with AI: How 7-Eleven Bridged the Metadata Gap
databricks.com·12h
🔄Incremental Lexing
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·1d·
Discuss: DEV
🔄Copy Propagation