⚙ Backus-Naur Form - matmat · Scour

Show HN: Lime, a parser generator that can merge grammars at runtime ⚙️Parser Generators

codeberg.org·1d·Lobsters, Hacker News

#CFG and #DNNF admit FPRAS ⚙Automata Theory

Insertions, deletions, and exchangeable couplings: a Dirichlet process over TKF92 domains and sites ⚙️ABNF Mining

biorxiv.org·8h

Less-relevant results

Lotus hits a wall in search for European EV battery partner 🔌Microcontrollers

thecooldown.com·2d

Local firms urge high duties on Chinese EVs 🇨🇳Chinese Computing

thephuketnews.com·5d

Trump-Xi Summit: China's Rare Earth Leverage is Growing ⚙️Swedish Assembly

prinsights.substack.com·1d·Substack

Tasks for the Summer Term 👑Coq Tactics

resourceaholic.com·3d·resourceaholic.com

The IsalProgram Programming Language 📼Tape Combinators

PayloadsAllTheThings/Server Side Template Injection/README.md at master · swisskyrepo/PayloadsAllTheThings 🌐NetworkProtocols

github.com·23h

Simple Markdown Zettelkasten ✅Document Verification

evantravers.com·1d

Designing a Production-Oriented RAG System for Technical Documentation 📚MARC Archaeology

vizlab.xyz·3d·DEV

Log in to enable infinite scrolling