🔍 Z3 Parsing

Formal Grammar Verification, Parser Correctness, Syntax Validation, Language Safety

LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Semantic-Aware Parsing for Security Logs
arxiv.org·1d
📝Log Parsing
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·1h
💻Local LLMs
Programming Entry Level: how to interpreter
dev.to·17h·
Discuss: DEV
🔗Lisp
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·17h
🧮Prolog Parsing
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·21h
🤖Grammar Induction
End-to-End Spoken Grammatical Error Correction
arxiv.org·1d
🤖Grammar Induction
Automattic/harper: Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
github.com·1d
📝Concrete Syntax
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
PEGTL -- Parsing Expression Grammar Template Library
github.com·18h·
Discuss: Hacker News
🔗Parser Combinators
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·13h
🔍Concolic Testing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·10h
📝Concrete Syntax
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·2h·
Discuss: Hacker News
📋DFDL
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·6h·
Discuss: Hacker News, r/programming
🔗Lisp
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·4h·
Discuss: DEV
🤖Lisp Machines
In which I write a library-quality B+ tree with the genies
tidyfirst.substack.com·2h·
Discuss: Substack
🦀Rust Macros
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing