∫ 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·12h·
Discuss: r/todayilearned
💫Effect Systems
Help
reddit.com·10h·
Discuss: r/C_Programming
∀Quantified Types
Mercedes-Benz Fashion Week NYC
usofarn.com·1d
🏠indieweb
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
Data Preprocessing in Data Mining: A Simple Guide for Beginners
dev.to·6h·
Discuss: DEV
🔤String Algorithms
OpenAI releases new GPT-5-Codex model for autonomous coding and large-scale refactoring
alternativeto.net·20h
🎮Language Ergonomics
AI and Deep Learning Accelerators Beyond GPUs: A Practical Overview
dev.to·2h·
Discuss: DEV
🗺️Region Inference
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·17m
💬Interactive REPLs
Types of AI Models: Your Ultimate Guide
dev.to·40m·
Discuss: DEV
🤖Abstract Machines
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
SOLID Principles for Python Developers
dev.to·1d·
Discuss: DEV
🎭Racket Modules
Rethinking Human Preference Evaluation of LLM Rationales
arxiv.org·1d
🎮Language Ergonomics
🚀 Day 38 of My Data Analytics Journey !
dev.to·6h·
Discuss: DEV
🏷️Attribute Grammars
Day 12 of My Quantum Computing Journey: Where Quantum Meets Classical Reality
dev.to·1d·
Discuss: DEV
💫Effect Systems
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