🌲 Parse Trees

AST Construction, Syntax Analysis, Grammar Processing, Tree Transformations

Functional Threading “Macros”
aartaka.me·1d
🧠Lisp Dialects
Automated Knowledge Graph Validation and Enhancement via Adaptive Semantic Refinement
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
How Much Should You Tell Your AI Agent?
raymondyxu.com·21h·
Discuss: Hacker News
⚡Proof Automation
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Seriously Testing LLMs
satisfice.com·14h
🔍Concolic Testing
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·11h
🧮Kolmogorov Complexity
Property-based testing of batch-invariant operations
mmaaz.ca·16h·
Discuss: Hacker News
🧪Property-Based Testing
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·20h·
Discuss: Hacker News
🧮Algebraic Datatypes
Why do LLMs freak out over the seahorse emoji?
vgel.me·13h·
Discuss: Lobsters, Hacker News
🗜️LZW Variants
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·11h
🗣️Domain-Specific Languages
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·1d·
Discuss: Hacker News
💻Programming languages
Building a Command-Line Quiz Application in R
towardsdatascience.com·1d
🐚Shell Calculus
Day 24 of My 90 Days Python Series – Word Counter Tool
dev.to·5h·
Discuss: DEV
📝Concrete Syntax
Hallucination reduction with CASAL: Contrastive Activation Steering For Amortized Learning
arxiv.org·11h
🌳Context free grammars
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·1d·
Discuss: Hacker News
🧮SMT Solvers
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·3h
🌀Brotli Internals
A PhD in Snapshots
rbharath.github.io·15h·
Discuss: Hacker News
🧠Machine Learning
How to Build Your Own Programming Language (It’s Easier Than You Think)
hackernoon.com·2d
⚙️Parser Generators
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·3d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·2d·
Discuss: Hacker News, r/LLM
λLambda Encodings