🎯 Dependent Parsing

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

Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·3h
🤖Grammar Induction
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·2d
🦀Rust Macros
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·13m
📝Concrete Syntax
Tokenization in Large Language Models
seantrott.substack.com·1d·
Discuss: Substack
📝Text Parsing
Lobsters Interview with Hwayne
lobste.rs·17h·
Discuss: Lobsters
⚔️Lean Tactics
Generating Structured Outputs from LLMs
towardsdatascience.com·20h
📐Format Grammars
Simple Programming Languages
ryanbrewer.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Building NeuroStash - VI
dev.to·4h·
Discuss: DEV
📄Text Chunking
Grok’s Share and Claude’s Leak: 5 Things We Can Learn From System Prompts
machinelearningmastery.com·1d
📝ABNF Parsing
Optimized Autonomous Inference
outerbounds.com·19h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·2d
💻Local LLMs
Show HN: VectorOps Know
vectorops.dev·2d·
Discuss: Hacker News
🌳Incremental Parsing
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·2d·
Discuss: Hacker News
💻Programming languages
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·21h·
Discuss: Hacker News
🧮Z3 Solver
Why Racket? Why Lisp?
practicaltypography.com·19m·
Discuss: Lobsters, Hacker News
🔗Lisp
Python 101: Reading TOML with Python
blog.pythonlibrary.org·2d
🌳Incremental Parsing
Neurosymbolic AI: The 3rd Wave
muratbuffalo.blogspot.com·23h·
Discuss: www.blogger.com
🔲Cellular Automata
Active context extraction > passive context capture with LLMs
news.ycombinator.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Yet Another LLM Rant
overengineer.dev·2h·
Discuss: Hacker News
🌳Context free grammars
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🤖Grammar Induction