📐 E-graphs

Equality Saturation, Program Optimization, Rewrite Systems, Compiler Backends

22.00.0127 Tags are dumb. I'm going to fix tags
johnnydecimal.com·20h
🔍Archive Semantics
Exploring Interlisp-10 and Twenex
journal.paoloamoroso.com·2d·
Discuss: Hacker News
📺VT100 Emulation
N8N vs. Zapier: Growing through LinkedIn and being a Jack of all trades
blog.tryresearchly.com·4h·
Discuss: Hacker News
🔌Interface Evolution
Some thoughts on personal git hosting
shkspr.mobi·10h·
Discuss: Hacker News, shkspr.mobi
🏠Personal Archives
[P] Terra Code CLI – An AI coding assistant with domain knowledge and semantic code search
reddit.com·13h·
Discuss: r/MachineLearning
📟CLI Design
Visualizing the Vocabulary of an LLM
alessiodevoto.github.io·13h·
Discuss: Hacker News
💻Local LLMs
[D] Thought experiment: “Rolling without slipping” as a blueprint for nD→(n−1) embeddings?
reddit.com·19h·
Discuss: r/MachineLearning
🌀Differential Geometry
LLMs from Scratch Using Middle School Math – TDS Archive
medium.com·3d·
Discuss: Hacker News
📊Quantization
The Compensation Principle
news.ycombinator.com·5h·
Discuss: Hacker News
🔲Cellular Automata
Building LangGraph: Designing an Agent Runtime from First Principles
blog.langchain.com·2d·
Discuss: Hacker News
⚙️TLA+
Autonomous Optimization of Alkaline Cleaning Formulations via Bayesian Reinforcement Learning
dev.to·1d·
Discuss: DEV
⚙️Modern Assembly
Dynamic Resource Orchestration via Predictive Container Scaling in Kubernetes
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Taming Infinity: How AI Plans with Delayed Decisions
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
ContraGS: Codebook-Condensed and Trainable Gaussian Splatting for Fast, Memory-Efficient Reconstruction
arxiv.org·2d
🏺Compression Museums
Awesome AI Agent Frameworks
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
go-yaml/yaml has been forked into yaml/go-yaml
github.com·1d·
Discuss: r/golang
🔒Linear Types
Automated Identification of Allosteric Modulation Sites in Protein Interaction Networks via Graph Neural Networks
dev.to·2d·
Discuss: DEV
⚙️ABNF Mining
[D] Performance overhead of running ML inference in hardware-isolated environments - production metrics
reddit.com·3d·
Discuss: r/MachineLearning
📊Performance Profiling
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·3d
⏰Temporal Logic
Two-Timescale Sum-Rate Maximization for Movable Antenna Enhanced Systems
arxiv.org·2d
⧗Information Bottleneck