🦌 ANTLR

LL(*) Parsing, Listener Pattern, Tree Walking, Grammar Analysis

Show HN: Building an open-source agentic terminal
davehudson.io·3h·
Discuss: Hacker News
💻Terminal UIs
Analog IMC Attention Mechanism For Fast And Energy-Efficient LLMs (FZJ, RWTH Aachen)
semiengineering.com·3h
🗺️Region Inference
Comparing transitive dependency version resolution in Rust and Java
blog.frankel.ch·1d·
Discuss: r/rust
📦Package Managers
From ASTs to RakuAST to ASTQuery
github.com·1d·
Discuss: DEV
📋Souffle Datalog
I built an LLM from Scratch in Rust (Just ndarray and rand)
reddit.com·1d·
Discuss: r/rust
🦀MIR Optimization
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
Manticore Search 13.11.0: Introducing Auto Embeddings and Enhanced AI Search
dev.to·4h·
Discuss: DEV
🌿Trie Structures
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
Temporal Preferences in Language Models for Long-Horizon Assistance
arxiv.org·15h
🌱Minimal Languages
Status Week 37
blogs.gnome.org·41m
⚙️TOML Parsers
An Afternoon at the Recursive Café: Two Threads Interleaving
ipfs.io·1d·
Discuss: Hacker News
🎯Type Theory
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🧮Theorem Provers
Comprehensive LLM Evaluation: Metrics, Methods, and Use Case Considerations
nexla.com·23h·
Discuss: DEV
🌱Minimal ML
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·3h·
Discuss: Hacker News
🎮Language Ergonomics
Show HN: Semlib – Semantic Data Processing
github.com·5h·
Discuss: Hacker News
🔍ML Language
SOLID Principles for Python Developers
dev.to·4h·
Discuss: DEV
🎭Racket Modules
LAVa: Layer-wise KV Cache Eviction with Dynamic Budget Allocation
arxiv.org·15h
🗺️Region Inference
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·22h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Evolution of Transformers Pt2: Sequence Modelling(Transformers)
pub.towardsai.net·2d
🪜Recursive Descent
(4/4) LLM: In-Context Learning, Hype, and the Road Ahead
dev.to·2d·
Discuss: DEV
🪜Recursive Descent