∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Gemini Links 16/09/2025: Command-line Options in POSIX Shell and Introducing Acre 0.9
techrights.org·2h
🤖Embedded Go
Quantum-Assisted Recursive Algorithm for Solving the Exact Cover Problem
arxiv.org·10h
⚡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·14h
🔄Incremental Lexing
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
dev.to·2d·
Discuss: DEV
🔄Copy Propagation
Predictive Precision: Combining Data and Reasoning for Self-Healing Systems by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🚂Error Propagation
StringWa.rs on GPUs: Databases & Bioinformatics 🦠
ashvardanian.com·19h·
Discuss: Hacker News, r/programming
🚀Tokenizer Performance
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·4d·
Discuss: DEV
🔗Unification
utf-8-history.txt
cl.cam.ac.uk·9h
🔢Binary Formats
Claude Code vs Codex My Own experience
reddit.com·3h·
Discuss: r/ClaudeAI
📚Self-Documenting Code
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·11h·
Discuss: DEV
🪢Rope Data Structures
New C++ Conference Videos Released This Month - September 2025
reddit.com·21h·
Discuss: r/cpp
🎓Teaching Compilers
Cycles in Marsaglia’s mental RNG
johndcook.com·1h·
Discuss: Hacker News
⏭️Skip Lists
‘Round the Square: ‘Mirror, mirror, on the wall,’ right? - The Bradford Era
bradfordera.com·7h
🔗Concatenative Theory
How to Debug Chez Scheme Programs (2002)
scheme.com·17h·
Discuss: Hacker News
💬Error Message Design
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·1d
🧠Semantic Parsing
MIDOG 2025 Track 2: A Deep Learning Model for Classification of Atypical and Normal Mitotic Figures under Class and Hardness Imbalances
arxiv.org·10h
🌱Minimal ML
Almorzamos con Sebastián Gabilondo, gerente regional de marketing de Oakberry
infonegocios.biz·10h
📚Factor
Devlog - whats, whys and hows.
mama666.itch.io·38m
🌙Lua
<p>**Abstract:** This paper introduces an automated system for analyzing and scoring scientific publications related to foundation settlement optimization, reco...
freederia.com·1d
📋Backus-Naur Form