∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Artistic embroidery : by Ella Rodman Church
gutenberg.org·9h
✨Code Formatting
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
Supporting our AI overlords: Redesigning data systems to be Agent-first
muratbuffalo.blogspot.com·7h·
Discuss: www.blogger.com
🗄️Database Engines
Noisy: interactive procedural terrain generation sandbox
reddit.com·5h·
Discuss: r/proceduralgeneration
🎪Playground Compilation
OpenAI releases new GPT-5-Codex model for autonomous coding and large-scale refactoring
alternativeto.net·1d
🎮Language Ergonomics
Airtable + GPT: Prototyping a Lightweight RAG System with No-Code Tools
kdnuggets.com·11h
💬Interactive REPLs
Day 12 of My Quantum Computing Journey: Where Quantum Meets Classical Reality
dev.to·2d·
Discuss: DEV
💫Effect Systems
Graceful Motion: Learning to Flow with AI by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🌊Loop Invariant Motion
Post-Hoc Split-Point Self-Consistency Verification for Efficient, Unified Quantification of Aleatoric and Epistemic Uncertainty in Deep Learning
arxiv.org·21h
✨Effect Inference
Help
reddit.com·21h·
Discuss: r/C_Programming
∀Quantified Types
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·8h·
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
AI-Powered Investing: Leveling the Wall Street Playing Field by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🎭Racket
Shakespeare makes you a better engineer.
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Modern Data Visualization Tools: A Comprehensive Guide to Streamlit, Dash, and Bokeh
github.com·1d·
Discuss: DEV
✨Code Formatting
Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
arxiv.org·21h
🏰Capability Machines
RAPTOR: A Foundation Policy for Quadrotor Control
arxiv.org·1d
🔬Nanopasses