⚙️ ABNF Mining

Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·3d
🦀Rust Macros
All you need to know about Tokenization in LLMs
medium.com·5h·
Discuss: Hacker News
📝Text Parsing
Hyperdimensional Semantic Graph Analysis for Automated Scientific Knowledge Graph Construction
dev.to·2h·
Discuss: DEV
📋Document Grammar
GPT-5 prompting guide
cookbook.openai.com·10h
⚡Proof Automation
Cactus Language • Pragmatics 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
How to Use Antlr Pattern Matching
tomassetti.me·2d·
Discuss: Hacker News
🔍Z3 Parsing
Yet another study doubts that LLM reasoning shows true logic over pattern imitation
the-decoder.com·1d
🤖Grammar Induction
apache/age
github.com·9h
🧬Bitstream Evolution
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com·16h·
Discuss: Hacker News
🦋Format Metamorphosis
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·23h·
Discuss: r/golang
🧠Lisp Dialects
Automated Fault Tree Analysis Refinement via Bayesian Optimization and Genetic Algorithm Hybridization
dev.to·23h·
Discuss: DEV
🌲B-tree Variants
Yet Another Online YAML Lint Tool
yamllint.vibecodinghub.org·20h·
Discuss: Hacker News
✅Archive Validation
Finding Golden Examples: A Smarter Approach to In-Context Learning
towardsdatascience.com·2d
🤖Grammar Induction
Automated Formal Verification of Blockchain Smart Contracts via Hypergraph Analysis and Constraint Propagation
dev.to·5h·
Discuss: DEV
🌳Archive Merkle Trees
Show HN: VectorOps Know
vectorops.dev·3d·
Discuss: Hacker News
🌳Incremental Parsing
Using Topological Data Analysis and Sparse Autoencoders to Evaluate TruthfulQA
bluelightai.com·11h·
Discuss: Hacker News
🧠Intelligence Compression
Sophos AI at Black Hat USA ’25: Anomaly detection betrayed us, so we gave it a new job
news.sophos.com·2d
🎯Threat Hunting
Rust's Annual Tech Report: Trusted Publishing for Packages and a C++/Rust Interop Strategy
developers.slashdot.org·1h
⚡Dependent Rust
Janet Minipbt Translation
github.com·10h·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Automated Anomaly Detection in Distributed System Log Streams via Graph-Based Temporal Pattern Recognition
dev.to·21h·
Discuss: DEV
📝Log Parsing