🔍 Z3 Parsing

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

LL and LR Parsing Demystified (2013)
blog.reverberate.org·2d·
Discuss: Lobsters, Hacker News
🔗Monadic Parsing
We Built a Language Model 14,000,000x Smaller Than GPT3 and Formally Verified It
github.com·1d·
Discuss: Hacker News
🌳Context free grammars
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·21h
✅Format Verification
Making Question-Answering Systems Smarter with Knowledge Graphs Using FrOG: A Wikidata Research Fund 2024 Highlight
diff.wikimedia.org·10h
🕸️Knowledge Graphs
A Regular Expression Matcher Code: Rob Pike, exegesis by Brian Kernighan
cs.princeton.edu·2d
🔍RegEx Engines
Building a Plain Seq2Seq Model for Language Translation
machinelearningmastery.com·2d
📝Text Compression
I Found a New Open Source Grammar Checker Tool And I Like it... Well... Kind of
itsfoss.com·1d
📝Concrete Syntax
Cactus Language • Pragmatics 1
inquiryintoinquiry.com·1d
💻Programming languages
What "Parse, don't validate" means in Python?
bitecode.dev·18h
✅Format Verification
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols
cacm.acm.org·12h
🌐NetworkProtocols
Inlining in the Glasgow Haskell Compiler:Empirical Investigation and Improvement
era.ed.ac.uk·1d·
Discuss: Hacker News
🔗Functional Compilers
Kernel
web.cs.wpi.edu·2h·
Discuss: Lobsters, Hacker News
💧Liquid Types
A Practical (and Incomplete) History of Language Models
obrhubr.org·1d
🧮Kolmogorov Complexity
Getting Into Flow State with Agentic Coding
kau.sh·19h
⚡Proof Automation
Nonlinear Framework for Speech Bandwidth Extension
arxiv.org·22h
👁️Perceptual Coding
[AutoBE] We made AI Friendly Compilers for Vibe Coding
dev.to·17h·
Discuss: DEV
📜Proof Carrying Code
Assembly_verify
philipzucker.com·3d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Fine-Tuning in Sentence Transformers 3 – Aurelio AI
aurelio.ai·1d·
Discuss: Hacker News
📝Text Embeddings
I am an AI expert and here's what businesses should know about using popular AI chatbots for writing content
techradar.com·16h
⚡Proof Automation
Torchvista: Building an Interactive Pytorch Visualization Package for Notebooks
towardsdatascience.com·7h
🦀Rust Macros