∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

A Tale of Software, Skateboards, and Raspberry Ice Cream
fsfe.org·20h·
Discuss: Hacker News
🏗️Minimal Compilers
Giving a digital humanities voice to skills and competencies for digital research professionals at DHA 2025
software.ac.uk·1d
🎮Language Ergonomics
On inclusive personas and inclusive user research
css-tricks.com·1d
🎮Language Ergonomics
I regret building this $3000 Pi AI cluster
jeffgeerling.com·1d·
Discuss: Lobsters, Hacker News
📡Erlang BEAM
Are you an experienced software buyer? I could use some help.
charity.wtf·22h·
Discuss: Hacker News
🥾Bootstrapping Strategies
TDS Newsletter: How to Make Smarter Business Decisions with AI
towardsdatascience.com·1d
🧠Semantic Parsing
Threshold ECDSA in Two Rounds
eprint.iacr.org·2d
🔗Hash Functions
Find the Teacher, Write the Note
psychologytoday.com·22h
💬Interactive REPLs
Understanding the Difference Between Tables and Views (Bite-size Article)
dev.to·20h·
Discuss: DEV
💾Minimal Databases
Stochastic Clock Attention for Aligning Continuous and Ordered Sequences
arxiv.org·1d
🪜Recursive Descent
Photonic Spin Hall Effect using bilayer Graphene in Nano Optomechanical Cavities
arxiv.org·1d
🔍Lens Libraries
PROFUSEme: PROstate Cancer Biochemical Recurrence Prediction via FUSEd Multi-modal Embeddings
arxiv.org·2d
✨Effect Inference
Constructive Conflict-Driven Multi-Agent Reinforcement Learning for Strategic Diversity
arxiv.org·1d
🔄Coroutines
Progress and future directions in constraining uncertainties in sea-level projections using observations
nature.com·1d
✨Effect Inference
New to Programming and Development, any help is welcomed!
reddit.com·1d·
Discuss: r/AskProgramming
📚Stack Languages
LLMAP: LLM-Assisted Multi-Objective Route Planning with User Preferences
arxiv.org·3d
📈Earley Parsing
Untangling the Impossible: Diagnosing Constraint Conflicts in Boolean Models
dev.to·2d·
Discuss: DEV
🧩SAT Solvers
A Conformal Prediction Framework for Uncertainty Quantification in Physics-Informed Neural Networks
arxiv.org·2d
📡Async Channels
Tipsy bats and perfect pasta: Ig Nobels celebrate ‘improbable’ research
nature.com·1d
🔗Concatenative
Unraveling the Infeasibility Knot: Graph-Guided Troubleshooting for Complex Constraints
dev.to·2d·
Discuss: DEV
🧩Constraint Solvers