Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Gemini Links 01/11/2025: FIFO and Gemini Age Survey
techrights.org·1d
📝Rope Editors
Flag this post
Viruses of the Mind
grokipedia.com·11h·
Discuss: Hacker News
💫Effect Systems
Flag this post
This tool is basically NotebookLM for math problems
xda-developers.com·3d
🎯Constraint Solving
Flag this post
Iterators - Dive into Lazy, Composable Processing
itsfoxstudio.substack.com·15h·
Discuss: r/rust
🔗Borrowing Extensions
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·2d·
🗂️Type Indexing
Flag this post
This is a description of a test for markov chain program in a book I'm reading...
reddit.com·15h·
🎲Property Testing
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·13h·
Discuss: Substack
Tokenizer Optimization
Flag this post
ARCS 2.0: Pioneering Data Sovereignty Through Real-World Utility and Cultural Heritage
hackernoon.com·2h
🔒Rust Borrowing
Flag this post
A Coding Implementation of a Comprehensive Enterprise AI Benchmarking Framework to Evaluate...
marktechpost.com·1d
🎭Racket
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·8h·
Discuss: DEV
🪜Recursive Descent
Flag this post
Scala vs F#
alexn.org·1d
🔧Nickel
Flag this post
Objects as Random Access Memory
tbr.bearblog.dev·22h
🤐Zipper Structures
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·3d
📋Backus-Naur Form
Flag this post
pg_stat_plans: Track per-plan call counts, execution times and EXPLAIN texts
github.com·1h·
Discuss: Hacker News
🗃️Query Compilation
Flag this post
Computational Complexity and Explanations in Physics
gilkalai.wordpress.com·3h
⚖️Inference Rules
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·17h·
Discuss: DEV
🌊Loop Invariant Motion
Flag this post
Quantum-Powered AI: Revolutionizing Collateral Management by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🏛️Elm Architecture
Flag this post
The Design Innovations of NopGraphQL: From API Protocol to a General-Purpose Information Operation Engine
dev.to·12m·
Discuss: DEV
📡Protocol Buffers
Flag this post
#29 Discount, tare, tret & cloff...History and Etymology of Math Terms
pballew.blogspot.com·19h·
🔢Algebraic Datatypes
Flag this post
Rasterizer Project - Part 3: Geometry
dev.to·1d·
Discuss: DEV
🔀SIMD Programming
Flag this post