🔍 Z3 Parsing

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

The QCET Taxonomy of Standard Quality Criterion Names and Definitions for the Evaluation of NLP Systems
arxiv.org·16h
📐Binary Grammars
It is surprising that Earley can efficiently parse C, ambiguities and all
wareya.wordpress.com·3d·
Discuss: Lobsters, Hacker News
📝Parsing Grammars
Sguaba: Type-safe spatial math in Rust
youtube.com·5h
🦀Rust Borrowing
A Practical Guide to Regular Expressions – Learn RegEx with Real Life Examples
freecodecamp.org·14h
🔍RegEx Engines
Using an LLM on the Advent of Code
funcall.blogspot.com·2h·
Discuss: www.blogger.com
⚔️Lean Tactics
Overkill JSON parser optimization: C/Assembly
raphaelouthier.github.io·2d·
Discuss: Hacker News
🔧Binary Parsers
Astral's ty: A New Blazing-Fast Type Checker for Python
realpython.com·6h
🎯Gradual Typing
Apply the Trie: Word Search
mmhaskell.com·11h·
Discuss: Hacker News
🌳Trie Structures
Working at ABI boundaries
rkrishnan.org·1d
🦀Rust Borrowing
Composing pure Haskell assertions
blog.ploeh.dk·12h
⚖️Verification Calculi
How Fir formats comments
osa1.net·2d
💾Binary Linguistics
CodeSOD: Contracting Space
thedailywtf.com·13h
🧪Binary Fuzzing
Lessons Learned from Vibe-Coding a Configuration Parser
deanebarker.net·6h·
Discuss: Hacker News
🔗Concatenative Programming
Indexical Collapse: How Predictive Systems Make Authority Without Reference
dev.to·2h·
Discuss: DEV
📃Manuscript Tokenization
Leveraging Large Language Models for Robot-Assisted Learning of Morphological Structures in Preschool Children with Language Vulnerabilities
arxiv.org·16h
🤖Grammar Induction
Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
arxiv.org·16h
🌳Context free grammars
REMA: A Unified Reasoning Manifold Framework for Interpreting Large Language Model
arxiv.org·16h
📋Document Grammar
I Made My AI Model 84% Smaller and It Got Better, Not Worse
towardsdatascience.com·2h
🎙️Whisper
Fast Data Persistence: GrausDB and Zero-Copy Serialization
rpallas.xyz·2h·
Discuss: Hacker News
🌳Persistent Data Structures
Why and When to Use Sentence Embeddings Over Word Embeddings
machinelearningmastery.com·3d
📝Text Embeddings