Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

The History of JavaScript
yourcodeweb.com·17h·
Discuss: DEV
Incremental Parsing
Flag this post
Cloud Native On-Demand: From Chaos to Control in Enterprise AI/ML
youtube.com·3h
🚂Cranelift IR
Flag this post
Show HN: I built a highly customizable mental arithmetic trainer for iOS
apps.apple.com·1d·
Discuss: Hacker News
🌿Trie Structures
Flag this post
Exploratory Data Analysis: The First Step Toward Data-Driven Discovery
pub.towardsai.net·7h
🔢Algebraic Datatypes
Flag this post
The omnific integers are not like the integers after all
infinitelymore.xyz·1d
Quantified Types
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·13h·
🎯Ring Buffers
Flag this post
1.✅ Bio-Digital Defiance: Defying The Order of the Creator Control of your travel, speech, thought and soul.
threadreaderapp.com·1d
🛡️Security Type Systems
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·23h·
📚Self-Documenting Code
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📏Linear Haskell
Flag this post
Meet Denario — An AI Assistant for Every Step of the Scientific Process
simonsfoundation.org·1d
🎭Program Synthesis
Flag this post
Infosys Develops AI Agent to Enhance Operations in the Energy Sector
prnewswire.com·1h
🎭Program Synthesis
Flag this post
YADS Caps word indicator
reddit.com·7h·
🔤Language Tokenizers
Flag this post
Indexing sparse vectors with Turso
turso.tech·1d
📐Succinct Data Structures
Flag this post
NumPy for Absolute Beginners: A Project-Based Approach to Data Analysis
towardsdatascience.com·1d
📈Performance Tools
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·2d·
Discuss: Hacker News
📋Souffle Datalog
Flag this post
The Self-Organizing AI: Can Machines Learn to 'Feel' Their Way to Success? by Arvind Sundararajan
dev.to·8h·
Discuss: DEV
🪜Recursive Descent
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·18h·
🎮Language Ergonomics
Flag this post
Colts, Cowboys created trade-deadline fireworks, but have their playoff hopes improved?
nytimes.com·1h
🌳Persistent Data
Flag this post
Handling Happy Numbers: Building a Set-like Data Structure
en.wikipedia.org·3d·
Discuss: DEV
🔗Concatenative Theory
Flag this post