∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

‘Round the Square: ‘Mirror, mirror, on the wall,’ right? - The Bradford Era
bradfordera.com·1d
🔗Concatenative Theory
CTD after switching Vortex profiles
pastebin.com·1d·
Discuss: r/skyrimmods
🔐Ownership Types
Museum of Stolen Cultural Objects, Canada Sustainability, Google, More: Wednesday ResearchBuzz, September 17, 2025
researchbuzz.me·18h
🏷️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·20h·
Discuss: DEV
🏺Code Archeology
Quantum canvases: a "painted debate" on free will
nirvanicai.substack.com·10h·
Discuss: Substack
💫Effect Systems
BTQ Technologies and Macquarie University Publish Peer Reviewed Breakthrough that Simplifies Quantum Error Correction for Scalable Systems
prnewswire.com·19h
📡Erlang BEAM
An Introduction to Speculative Decoding for Reducing Latency in AI Inference - NVIDIA Developer
news.google.com·12h
📋JSON Parsing
How I Applied an Higher Order Array Method In a Project
dev.to·12h·
Discuss: DEV
🔗Concatenative Languages
Unlocking Fusion: How AI is Mastering the Inferno
dev.to·16h·
Discuss: DEV
🏛️Elm Architecture
10 Must-Know SQL Queries for Business Use Cases
dev.to·1d·
Discuss: DEV
📊Query Optimizers
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·10h·
Discuss: DEV
⚡Control Synthesis
Harnessing Optimization Dynamics for Curvature-Informed Model Merging
arxiv.org·2d
🔗Unification
Defect Chemistry: Automated Compositional Analysis of Amorphous Solid Electrolytes via Dynamic Spectroscopy
dev.to·2d·
Discuss: DEV
✨Effect Inference
Modern Data Visualization Tools: A Comprehensive Guide to Streamlit, Dash, and Bokeh
github.com·1d·
Discuss: DEV
✨Code Formatting
Transformer Architecture
dev.to·2d·
Discuss: DEV
🪜Recursive Descent
Evaluating LLM Alignment on Personality Inference from Real-World Interview Data
arxiv.org·1d
🪜Recursive Descent
Enhanced Genome Sequencing Accuracy via Adaptive Hyperdimensional Neural Networks (AHNNs)
dev.to·1d·
Discuss: DEV
📋JSON Parsing
Online Bayesian Risk-Averse Reinforcement Learning
arxiv.org·2h
🪜Recursive Descent