🎯 Dependent Parsing

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

Crafting a dependent typechecker, part 1
blueberrywren.dev·1d·
Discuss: Hacker News
🔗Functional Compilers
Relation-Aware Slicing in Cross-Domain Alignment
arxiv.org·2d
🔗Parser Combinators
Recurrent Neural Networks: A Review
theahura.substack.com·17h·
Discuss: Substack
🧠Machine Learning
Free Things Are Complicated (Especially the Sphere Spectrum!)
grossack.site·12h
🧮Algebraic Archives
Context is the New Frontier: Why Smarter Systems Are Built on Understanding
dev.to·1d·
Discuss: DEV
📐Format Grammars
How to Run a Hugging Face Model in Jax (Part 1)
huggingface.co·11h·
Discuss: Hacker News
⬆️Lambda Lifting
Some Early Tests and Notes on ChatGPT Agent
macstories.net·20h
🎙️Whisper
Cactus Language • Stylistics 5
inquiryintoinquiry.com·1d
📐Format Grammars
I asked Alexa Plus to tackle my to-do list — it mostly failed
theverge.com·35m
🧮Constraint SMT
Hyperpb: 10x faster dynamic Protobuf parsing in Go
buf.build·2d·
Discuss: Hacker News
📋Protocol Buffers
How to keep up with AI progress
news.ycombinator.com·6h·
Discuss: Hacker News
🌀Brotli Internals
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
How i ditched LangChain to create my own custom RAG
dev.to·1d·
Discuss: DEV
🤖Archive Automation
The AGI Final Frontier: The CLJ-AGI Benchmark
raspasov.posthaven.com·11h·
Discuss: Hacker News
🏛️Agda
Training a Chunker with Burn
elijahpotter.dev·3d·
Discuss: Hacker News
📝Concrete Syntax
Not Even Bronze? Evaluating LLMs on 2025 International Math Olympiad
matharena.ai·2d·
Discuss: Hacker News, Hacker News, Hacker News
🧮SMT Solvers
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·2d
📝ABNF Extensions
Fast and Simple Rust Interner
matklad.github.io·2d
🦀Rust Verification
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·1d·
Discuss: Hacker News
🌐WASI
H-Nets – The Future
goombalab.github.io·2d·
Discuss: Hacker News
📼Cassette Combinators