∫ 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
Help
reddit.com·16h·
Discuss: r/C_Programming
∀Quantified Types
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
💬Error Message Design
Pace Layering: How Complex Systems Learn and Keep Learning
jods.mitpress.mit.edu·3h·
Discuss: Hacker News
💫Effect Systems
A Step-by-Step Guide to Using SUMIFS in Microsoft Excel
howtogeek.com·2d
🔢Algebraic Datatypes
Claude Code vs Codex My Own experience
reddit.com·1d·
Discuss: r/ClaudeAI
📚Self-Documenting Code
RU-Net for Automatic Characterization of TRISO Fuel Cross Sections
arxiv.org·16h
📋JSON Parsing
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🌊Loop Invariant Motion
Unlocking Fusion: How AI is Mastering the Inferno
dev.to·5h·
Discuss: DEV
🏛️Elm Architecture
JANUS: A Dual-Constraint Generative Framework for Stealthy Node Injection Attacks
arxiv.org·16h
🪜Recursive Descent
ActiveVLN: Towards Active Exploration via Multi-Turn RL in Vision-and-Language Navigation
arxiv.org·16h
🌊Loop Invariant Motion
ParaEQsA: Parallel and Asynchronous Embodied Questions Scheduling and Answering
arxiv.org·1d
🔬Nanopasses
Neural cellular automata: applications to biology and beyond classical AI
arxiv.org·1d
🎯Finite Automata
Mojo vs. Python vs. Rust: Which Should You Learn for AI in 2025?
dev.to·1d·
Discuss: DEV
🦀MIR Optimization
🚀 Day 38 of My Data Analytics Journey !
dev.to·12h·
Discuss: DEV
🏷️Attribute Grammars
Rethinking Human Preference Evaluation of LLM Rationales
arxiv.org·1d
🎮Language Ergonomics
Automating Business Intelligence: How We Built a Multi-Agent AI System for Business Data Extraction
dev.to·17h·
Discuss: DEV
🧠Semantic Parsing
MusicSwarm: Biologically Inspired Intelligence for Music Composition
arxiv.org·1d
🔬Nanopasses
Automated Sentiment-Driven Campaign Optimization for Targeted Cancer Awareness
dev.to·1d·
Discuss: DEV
✨Effect Inference
Effective Software Engineering with Claude Code
reddit.com·2d·
Discuss: r/ClaudeAI
⚡Interpreter Optimization