📐 Mathematical Computing - 2601 · Scour

Symbolica: Computer Algebra Library

🎨Domain-Specific Languages

symbolica.io··Hacker News

rentruewang/inversql: Create SQL that match your selection (with explainable AI), not the other way around

💡Explainable AI Code

github.com··Hacker News

A Finite Certificate for the Positive $n=9$ Vasc Inequality

🔢Algebraic Datatypes Academic

Partitions over permutations

🔢Algebraic Datatypes Blog

johndcook.com··Hacker News

Shrivastava-Aditya/boolean-algebra-engine: Deterministic boolean algebra engine — evaluates expressions, detects contradictions, audits logic rules. MCP server, NL layer, REST API, CLI, Streamlit UI.

💬Prompt Engineering Code

github.com··Hacker News, r/LLM

mingusb/transformer-golf: The Fully Unrolled Transformer: An experimental repository for architecture simplification and compilation. [2026]

🤖AI Code

github.com··Hacker News

Symbolica 2.0: programmable symbols, JIT evaluators, and type-erased callbacks in Rust

🚂Cranelift IR

symbolica.io··Lobsters, Hacker News, r/rust

No more posts from 2601's subscribed feeds.

Scour all 25257 feeds Learn more about Feeds

Log in to enable infinite scrolling