∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

«Maths is my passion»
ethz.ch·3d
∫Mathematical DSLs
Generalized user representations for large-scale recommendations
research.atspotify.com·3h
🏷️Attribute Grammars
AI Is Just Digital Plastic
hassanshaikley.com·3h·
Discuss: Hacker News
🎯99-Line Tools
Show HN: Markdown to Word – Free Online Converter
markdowntoword.io·1d·
Discuss: Hacker News
🔄Incremental Lexing
How Humans Work - an integrated model
mindblog.dericbownds.net·1d
💫Effect Systems
China's DeepSeek applying trial-and-error learning to its AI 'reasoning'
theregister.com·2h
🪜Recursive Descent
Performance of Row-major 1D Array vs. 2D Array in C
reddit.com·1d·
Discuss: r/C_Programming
📚Stack Allocation
How I Built My Copyright Symbol Website with Claude Code
dev.to·13m·
Discuss: DEV
✨Code Formatters
Association Rule in Data Mining: A Beginner-Friendly Guide
dev.to·6h·
Discuss: DEV
🌸Bloom Indexing
We’ve completely revamped our documentation, making it much more user-friendly.
docs.jt-lab.com·59m·
Discuss: DEV
📚Self-Documenting Code
An Introduction to Speculative Decoding for Reducing Latency in AI Inference - NVIDIA Developer
news.google.com·17h
📋JSON Parsing
How I Applied an Higher Order Array Method In a Project
dev.to·17h·
Discuss: DEV
🔗Concatenative Languages
Vehicle-to-Grid Integration: Ensuring Grid Stability, Strengthening Cybersecurity, and Advancing Energy Market Dynamics
arxiv.org·8h
📡Erlang BEAM
Dual Actor DDPG for Airborne STAR-RIS Assisted Communications
arxiv.org·8h
📡Protocol Stacks
Automated Triaging and Transfer Learning of Incident Learning Safety Reports Using Large Language Representational Models
arxiv.org·8h
🧠Semantic Parsing
Unlocking Fusion: How AI is Mastering the Inferno
dev.to·21h·
Discuss: DEV
🏛️Elm Architecture
Unlock 'Magic' Optimization: Smarter Search When Blindfolded by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🔍Fuzzy Indexing
Post-Hoc Split-Point Self-Consistency Verification for Efficient, Unified Quantification of Aleatoric and Epistemic Uncertainty in Deep Learning
arxiv.org·1d
✨Effect Inference
Detectability Thresholds for Network Attacks on Static Graphs and Temporal Networks: Information-Theoretic Limits and Nearly-Optimal Tests
arxiv.org·2d
🔄Protocol State Machines
Harnessing Optimization Dynamics for Curvature-Informed Model Merging
arxiv.org·2d
🔗Unification