∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Artistic embroidery : by Ella Rodman Church
gutenberg.org·7h
✨Code Formatting
How to Debug Chez Scheme Programs (2002)
scheme.com·2d·
Discuss: Hacker News
💬Error Message Design
How to Use AI Without Becoming Stupid
commoncog.com·1d·
Discuss: Hacker News
⚖️Inference Rules
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·2d
🧠Semantic Parsing
🚀 Day 38 of My Data Analytics Journey !
dev.to·16h·
Discuss: DEV
🏷️Attribute Grammars
Gemini Links 16/09/2025: Command-line Options in POSIX Shell and Introducing Acre 0.9
techrights.org·1d
🤖Embedded Go
Types of AI Models: Your Ultimate Guide
dev.to·10h·
Discuss: DEV
🤖Abstract Machines
MusicSwarm: Biologically Inspired Intelligence for Music Composition
arxiv.org·1d
🔬Nanopasses
Effective Software Engineering with Claude Code
reddit.com·2d·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·21h·
Discuss: Substack
🪜Recursive Descent
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🌊Loop Invariant Motion
Automated Sentiment-Driven Campaign Optimization for Targeted Cancer Awareness
dev.to·1d·
Discuss: DEV
✨Effect Inference
Post-Hoc Split-Point Self-Consistency Verification for Efficient, Unified Quantification of Aleatoric and Epistemic Uncertainty in Deep Learning
arxiv.org·19h
✨Effect Inference
Help
reddit.com·19h·
Discuss: r/C_Programming
∀Quantified Types
Novel Dynamic Transient Response Optimization for GaN Power Modules via Reinforcement Learning
dev.to·3h·
Discuss: DEV
⚡Control Synthesis
Detectability Thresholds for Network Attacks on Static Graphs and Temporal Networks: Information-Theoretic Limits and Nearly-Optimal Tests
arxiv.org·1d
🔄Protocol State Machines
Building a Secure Fortress within AI: A Developer's Guide to Full-Stack Security 🏰
dev.to·6h·
Discuss: DEV
🔍Static Analysis
Transformer Architecture
dev.to·2d·
Discuss: DEV
🪜Recursive Descent
Harnessing Optimization Dynamics for Curvature-Informed Model Merging
arxiv.org·1d
🔗Unification
Modern Data Visualization Tools: A Comprehensive Guide to Streamlit, Dash, and Bokeh
github.com·22h·
Discuss: DEV
✨Code Formatting