∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

TIL the defunding of the $11bn Superconducting Super Collider caused huge growth in the field of quantitative finance, as the theoretical physics job market col...
blog.oup.com·14h·
Discuss: r/todayilearned
💫Effect Systems
Help
reddit.com·12h·
Discuss: r/C_Programming
∀Quantified Types
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
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
OpenAI releases new GPT-5-Codex model for autonomous coding and large-scale refactoring
alternativeto.net·22h
🎮Language Ergonomics
Claude Code vs Codex My Own experience
reddit.com·1d·
Discuss: r/ClaudeAI
📚Self-Documenting Code
Airtable + GPT: Prototyping a Lightweight RAG System with No-Code Tools
kdnuggets.com·2h
💬Interactive REPLs
Neural cellular automata: applications to biology and beyond classical AI
arxiv.org·1d
🎯Finite Automata
Unlocking Fusion: How AI is Mastering the Inferno
dev.to·1h·
Discuss: DEV
🏛️Elm Architecture
Types of AI Models: Your Ultimate Guide
dev.to·3h·
Discuss: DEV
🤖Abstract Machines
SOLID Principles for Python Developers
dev.to·2d·
Discuss: DEV
🎭Racket Modules
Rethinking Human Preference Evaluation of LLM Rationales
arxiv.org·1d
🎮Language Ergonomics
Mojo vs. Python vs. Rust: Which Should You Learn for AI in 2025?
dev.to·20h·
Discuss: DEV
🦀MIR Optimization
🚀 Day 38 of My Data Analytics Journey !
dev.to·8h·
Discuss: DEV
🏷️Attribute Grammars
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
Post-Hoc Split-Point Self-Consistency Verification for Efficient, Unified Quantification of Aleatoric and Epistemic Uncertainty in Deep Learning
arxiv.org·11h
✨Effect Inference
I got the highest score on ARC-AGI again swapping Python for English
jeremyberman.substack.com·14h·
Discuss: Substack
🪜Recursive Descent
Intelligent Web Crawling and RAG Search Platform
github.com·1h·
Discuss: Hacker News
🔄Incremental Lexing