∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

The Orphic Hymns
brill.com·3d
🔗Concatenative Theory
World Athletics Championships 2025 schedule, results and day-by-day events
independent.co.uk·1d
🏁Language Benchmarks
Non-Identical Identical Triplets
blog.tanyakhovanova.com·2d
🌳Tree Diffing
Confusing bottom-up and top-down approaches to emergence
condensedconcepts.blogspot.com·1d·
Discuss: condensedconcepts.blogspot.com
💫Effect Systems
Streaming SQL for Real-Time AI and Machine Learning
timeplus.com·1d·
Discuss: Hacker News
🗃️Query Compilation
Morning in the garden, and some afternoon progress
refarmer.ca·10h
🌲Deforestation
How to stop writing Rust like it's C or C++.
youtu.be·1d·
Discuss: r/rust_gamedev
🦀Rust Macros
Per-map-key locking vs global lock; struggling with extra shared fields.
reddit.com·14h·
Discuss: r/golang
🔗Concurrency Primitives
Concurrency vs Parallelism: Understanding the Difference with Examples day 54 of system design
dev.to·23h·
Discuss: DEV
🔗Concurrency Primitives
College Football Cheat Sheet: Swing Game Saturday - On3
news.google.com·14h
🌳Tree Diffing
Finished my first Godot project
reddit.com·12h·
Discuss: r/godot
🌱Minimal Languages
Coding a Powerball Winning Prediction
dev.to·1d·
Discuss: DEV
📋JSON Parsing
Introducing: FTS5 ICU Tokenizer for Better Multilingual Text Search
github.com·1d·
Discuss: r/sqlite
🌉Cross-Language AST
Neural Networks & Generative Models
dev.to·1d·
Discuss: DEV
🪜Recursive Descent
SoK: Connecting the Dots in Privacy-Preserving ML - Systematization of MPC Protocols and Conversions Between Secret Sharing Schemes
eprint.iacr.org·3d
🛡️Security Type Systems
CECT-Mamba: a Hierarchical Contrast-enhanced-aware Model for Pancreatic Tumor Subtyping from Multi-phase CECT
arxiv.org·3d
🔢Algebraic Datatypes
Transplant-Ready? Evaluating AI Lung Segmentation Models in Candidates with Severe Lung Disease
arxiv.org·1d
✨Effect Inference
Automated Data Lineage Reconstruction via Multi-Modal Graph Analysis & HyperScore Validation
dev.to·4d·
Discuss: DEV
🏷️Attribute Grammars
Same named methods in Java. Part 1: Don’t Underestimate Overloading
dev.to·1d·
Discuss: DEV
🔧API Design
FSR-VLN: Fast and Slow Reasoning for Vision-Language Navigation with Hierarchical Multi-modal Scene Graph
arxiv.org·2d
🔍Lens Libraries