🎯 Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

BNFGen: A random text generator based on context-free grammars
baturin.org·5h·
Discuss: Hacker News
🌳Context free grammars
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·7h
💻Local LLMs
Cactus Language • Syntax 12
inquiryintoinquiry.com·7h
📝Concrete Syntax
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·23h
🧮Prolog Parsing
PEGTL -- Parsing Expression Grammar Template Library
github.com·23h·
Discuss: Hacker News
🔗Parser Combinators
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Stop Words Using Spacy - NLP
dev.to·1d·
Discuss: DEV
📝Text Parsing
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.com·1d
📝Concrete Syntax
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·10h·
Discuss: DEV
🤖Lisp Machines
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·1h·
Discuss: Hacker News
📊Graph Databases
LongWriter-Zero: Mastering Ultra-Long Text Generation via Reinforcement Learning
arxiv.org·1d
📝Concrete Syntax
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·16h
📝Concrete Syntax
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
The Guide to the Foundation Models Framework
azamsharp.com·9h·
Discuss: Hacker News
λLambda Formalization
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·1d
🤖Grammar Induction
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·19h
💻Local LLMs
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp