⚙️ ABNF Mining

Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

Automated API Ecosystem Resilience Scoring via Hybrid Graph Neural Networks
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
Bootstrapping a Forth for Art
tia.mat.br·14h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·13h
📄Text Segmentation
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·10h·
Discuss: Hacker News
📊Count-Min Sketch
A Unified Theory of Language
arxiv.org·2d
💻Programming languages
Benchmarking compression programs
maskray.me·6h
📦Deflate
Swánga̱lyiatwuki-WikiWoordenboek Wiktionary Editing Projects
diff.wikimedia.org·1d
📜Manuscript TEI
Automated Protocol Synthesis & Validation for Multi-Modal Scientific Data Streams
dev.to·15h·
Discuss: DEV
⚙️Proof Engineering
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
The Art of Transformer Programming (2023)
yanivle.github.io·14h·
Discuss: Hacker News
🤖Lisp Machines
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
This Page Is a Quine
pranavg.me·3h·
Discuss: Hacker News
🔤Type Theory
Deep learning reveals antibiotics in the archaeal proteome
nature.com·3d·
Discuss: Hacker News
🤖Grammar Induction
Challenging LR Parsing (2020)
rust-analyzer.github.io·1d·
Discuss: Lobsters, r/programming
🦀Rust Macros
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·19h·
Discuss: Hacker News
🔗Archive Combinators
Ensemble Learning
en.wikipedia.org·21h·
Discuss: Hacker News
🧠Machine Learning
I learned to code in JavaScript and now I feel that I’ve missed out on a lot of fundamentals
reddit.com·17h·
Discuss: r/golang
🔗Concatenative Programming
The Origins of Python
inference-review.com·6h·
Discuss: Hacker News
💻Programming languages
Core Concepts: Decoding Human Language
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·5d
🗂️Vector Databases