∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Show HN: Markdown to Word – Free Online Converter
markdowntoword.io·1d·
Discuss: Hacker News
🔄Incremental Lexing
Performance of Row-major 1D Array vs. 2D Array in C
reddit.com·1d·
Discuss: r/C_Programming
📚Stack Allocation
Museum of Stolen Cultural Objects, Canada Sustainability, Google, More: Wednesday ResearchBuzz, September 17, 2025
researchbuzz.me·16h
🏷️Memory Tagging
A Step-by-Step Guide to Using SUMIFS in Microsoft Excel
howtogeek.com·2d
🔢Algebraic Datatypes
🧠 From Concept to Code: Building Code Tracker AI in 9 weeks—and the commits keep coming.
codetrackerai.com·18h·
Discuss: DEV
🏺Code Archeology
Quantum canvases: a "painted debate" on free will
nirvanicai.substack.com·8h·
Discuss: Substack
💫Effect Systems
An Introduction to Speculative Decoding for Reducing Latency in AI Inference - NVIDIA Developer
news.google.com·10h
📋JSON Parsing
How I Applied an Higher Order Array Method In a Project
dev.to·10h·
Discuss: DEV
🔗Concatenative Languages
Concentration inequalities for semidefinite least squares based on data
arxiv.org·1d
🎯Constraint Solving
WHU-STree: A Multi-modal Benchmark Dataset for Street Tree Inventory
arxiv.org·1d
🌳Tree Algorithms
Unlocking Fusion: How AI is Mastering the Inferno
dev.to·14h·
Discuss: DEV
🏛️Elm Architecture
10 Must-Know SQL Queries for Business Use Cases
dev.to·22h·
Discuss: DEV
📊Query Optimizers
Effective Software Engineering with Claude Code
reddit.com·2d·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
Typology of Prediction & Forecasting Projects - A Technical Guide
dev.to·11h·
Discuss: DEV
🔢Algebraic Datatypes
ParaEQsA: Parallel and Asynchronous Embodied Questions Scheduling and Answering
arxiv.org·2d
🔬Nanopasses
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·1d·
Discuss: Substack
🪜Recursive Descent
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🌊Loop Invariant Motion
Novel Dynamic Transient Response Optimization for GaN Power Modules via Reinforcement Learning
dev.to·8h·
Discuss: DEV
⚡Control Synthesis
Post-Hoc Split-Point Self-Consistency Verification for Efficient, Unified Quantification of Aleatoric and Epistemic Uncertainty in Deep Learning
arxiv.org·1d
✨Effect Inference
Detectability Thresholds for Network Attacks on Static Graphs and Temporal Networks: Information-Theoretic Limits and Nearly-Optimal Tests
arxiv.org·2d
🔄Protocol State Machines