Term Rewriting Systems, AST Transformation, Optimization Rules, Pattern Matching

A Slotted Hash Cons for Alpha Invariance
philipzucker.com·14h·
Discuss: Hacker News
🔗Lexical Scoping
Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·5h·
Discuss: DEV
🪢Rope Data Structures
HARP: Hallucination Detection via Reasoning Subspace Projection
arxiv.org·5h
🪜Recursive Descent
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·5h
🔧Scheme Macros
Building a Legal Document Intelligence Platform with BigQuery AI: 99% Efficiency Implementation Guide
github.com·29m·
Discuss: DEV
Incremental Parsing
In-depth Review of Emacs tree-sitter integration
archive.casouri.cc·10h·
🌲Tree-sitter
Semantic Dictionary Encoding
falvotech.com·18h·
Discuss: Hacker News
🗂️Type Indexing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·17h
💫Effect Systems
The Rise of Semantic Entity Resolution
towardsdatascience.com·1d
🌳Tree Diffing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
🧩Constraint Solvers
The Horton-Strahler number of butterfly trees
arxiv.org·5h
🧮Combinator Calculus
Using AI Agents for Reranking in RavenDB
ayende.com·21h
🔍Query Engines
Is Recursion in LLMs a Path to Efficiency and Quality?
pub.towardsai.net·9h
🪜Recursive Descent
Linkage
11011110.github.io·17h
🧮Combinator Calculus
Home Page
pembinavalleyonline.com·5h
🏠indieweb
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·1d·
🌱Minimal ML
First Public Working Draft: Semantic Sensor Network Ontology - 2023 Edition
w3.org·2h
🧱WASM Components
Unveiling Hidden Structures: A New Algorithm for Cross-Graph Harmony by Arvind Sundararajan
dev.to·11h·
Discuss: DEV
🌳Tree Algorithms
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
Effect Inference
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures