∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

First Public Working Draft: Semantic Sensor Network Ontology - 2023 Edition
w3.org·5h
🧱WASM Components
A CEO's Guide to Emacs
web.archive.org·2h·
Discuss: Lobsters, Hacker News
📝Text Editors
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·21h·
Discuss: www.blogger.com
🔮Lisp Interpreters
Physics-informed sensor coverage through structure preserving machine learning
arxiv.org·1d
🔍ML Language
[1] Algorithm Showdown: Python vs. JavaScript - Group Anagrams
dev.to·1d·
Discuss: DEV
🔗Hash Functions
MİGROS TİCARET A.Ş.(MGROS) Finansal Takvim 15 Eylül 2025
finans.mynet.com·19h
🐍lisp
MusicSwarm: Biologically Inspired Intelligence for Music Composition
arxiv.org·8h
🔬Nanopasses
Examining the Relationship between Scientific Publishing Activity and Hype-Driven Financial Bubbles: A Comparison of the Dot-Com and AI Eras
arxiv.org·8h
📐Mathematical Computing
EMeRALDS: Electronic Medical Record Driven Automated Lung Nodule Detection and Classification in Thoracic CT Images
arxiv.org·8h
🌱Minimal ML
A Step-by-Step Guide to Using SUMIFS in Microsoft Excel
howtogeek.com·21h
🔢Algebraic Datatypes
SOLID Principles for Python Developers
dev.to·22h·
Discuss: DEV
🎭Racket Modules
Shielded Minds: Unleashing Private LLM Inference by Arvind Sundararajan
dev.to·16h·
Discuss: DEV
📏Linear Memory
Effective Software Engineering with Claude Code
reddit.com·23h·
Discuss: r/ClaudeAI
⚡Interpreter Optimization
My Lobsters Interview
susam.net·4d
📖Literate Programming
Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments
arxiv.org·8h
⚖️Inference Rules
FragmentGPT: A Unified GPT Model for Fragment Growing, Linking, and Merging in Molecular Design
arxiv.org·8h
🔗Graph Rewriting
ALIGNS: Unlocking nomological networks in psychological measurement through a large language model
arxiv.org·1d
🔍ML Language
LLM-Based Instance-Driven Heuristic Bias In the Context of a Biased Random Key Genetic Algorithm
arxiv.org·1d
🔍ML Language
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org·8h
♾️Codata Types
The Case for Compact AI – Communications of the ACM
dl.acm.org·4h·
Discuss: Hacker News
🌱Minimal ML