∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

A Tale of Software, Skateboards, and Raspberry Ice Cream
fsfe.org·18h·
Discuss: Hacker News
🏗️Minimal Compilers
BW Walch's OGAP Professional Learning Earns ESSA Strong Evidence Rating for Driving Math Gains
prnewswire.com·2d
∫Mathematical DSLs
British AI startup beats humans in international forecasting competition
theguardian.com·6h·
Discuss: Hacker News, r/technews
🌱Minimal ML
Python 3.14.0rc3 is go!
pythoninsider.blogspot.com·2d·
Discuss: Lobsters
🌊Gradual Typing
Meet 20 Startups Selected For Google’s AI First Accelerator 2025
askwiki.blogspot.com·18h
💾IoT Allocators
AI'll be back
metafilter.com·6h
🏰Capability Machines
New research links hurricane size surges to local ocean temperature spikes
phys.org·8h
🗺️Region Types
AI at work: Seeking the truth about AI for business
microsoft.com·16h
🎮Language Ergonomics
Jimmy - Convert your notes to Markdown
reddit.com·4h·
Discuss: r/opensource
📝Editor Buffers
ROC AUC Explained: A Beginner’s Guide to Evaluating Classification Models
towardsdatascience.com·3d
🔢Algebraic Datatypes
What Wall Street Sees in the Data Center Boom - The New York Times
news.google.com·2h
📦Compact Data
Integrating CI/CD Pipelines to Machine Learning Applications
pub.towardsai.net·2h
📦Dependency Analysis
Beyond the Basics: A Strategic Deep Dive into Horizontal and Vertical Integration
dev.to·4h·
Discuss: DEV
📦Dependency Analysis
Swarm Symphony: Unleashing AI Music Composition Through Collective Intelligence by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🔬Nanopasses
Gemini achieves gold-level performance at the International Collegiate Programming Contest World Finals
deepmind.google·2d·
Discuss: Hacker News
🧩Constraint Solvers
brainchild's、新曲「On Time」9/24配信決定！
news.jp·14h
🌊Streaming Lexers
Is Your Next Outfit About To Be Designed by… AI?! Demystifying Generative AI
dev.to·2d·
Discuss: DEV
🤖Code Generation
警察庁、鑑定作業で二重確認指示 佐賀科捜研の元職員DNA不正で
news.jp·2d
📋S-Expression
Taking a Stroll Down the Home Lab Rabbit Hole — Software-Focused, AI-Driven, and Just Getting Started
reddit.com·4h·
Discuss: r/homelab
🔄Bootstrapping
A Conformal Prediction Framework for Uncertainty Quantification in Physics-Informed Neural Networks
arxiv.org·2d
📡Async Channels