∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

"Who Counts, Counts" -- by Stephanie Strickland
poetrywithmathematics.blogspot.com·7h·
Discuss: poetrywithmathematics.blogspot.com
🔗Concatenative Theory
Flag this post
The democratic creation of the field jacket
tildes.net·1d·
Discuss: Substack
📐Mathematical Computing
Flag this post
Canada Mines & Mining, Armenian Inscriptions, TikTok Awards, More: Tuesday ResearchBuzz, November 4, 2025
researchbuzz.me·10h
🏠indieweb
Flag this post
I Chose to Focus on Data Systems Instead of Application Programming
alexnemethdata.com·5h·
Discuss: Hacker News
🎮Language Ergonomics
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
dev.to·4h·
Discuss: DEV
🧠Semantic Parsing
Flag this post
AI assistant developed for every step of the scientific process
phys.org·2h
🎭Program Synthesis
Flag this post
Logic point entities (Sourcelike)
reddit.com·3h·
Discuss: r/godot
🏛️Elm Architecture
Flag this post
Automated Multi-Modal Knowledge Graph Scoring for Cohort-Based Retrospective Analytics
dev.to·10h·
Discuss: DEV
✨Effect Inference
Flag this post
Balancing Interpretability and Performance in Motor Imagery EEG Classification: A Comparative Study of ANFIS-FBCSP-PSO and EEGNet
arxiv.org·18h
∀Quantified Types
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·18h
🔮Metacircular Evaluators
Flag this post
Cracking the Cube: How Competitive Rubik’s Cube Algorithms Inspire Modern AI and Programming
dev.to·1d·
Discuss: DEV
🧩Constraint Solvers
Flag this post
Teaching AI to Take Initiative – Building a Self-Thinking App with LangGraph and Ollama
dev.to·6h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Temporal Fusion Transformer for Multi-Horizon Probabilistic Forecasting of Weekly Retail Sales
arxiv.org·18h
🔢Algebraic Datatypes
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·2d·
Discuss: r/C_Programming
🗑️Garbage Collection
Flag this post
SCOUT: Semi-Lagrangian COnservative and Unconditionally sTable schemes for nonlinear advection-diffusion problems
arxiv.org·18h
⚡Partial Evaluation
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.org·18h
🔄Incremental Parsers
Flag this post
Breakdown of JavaScript cores concept in connection to html with examples
dev.to·2d·
Discuss: DEV
🎪Playground Compilation
Flag this post
Identifying the Periodicity of Information in Natural Language
arxiv.org·1d
⚖️Weighted Automata
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·18h
🪜Recursive Descent
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·18h
🔍Lens Libraries
Flag this post