⚙️ ABNF Mining

Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·17h·
Discuss: Hacker News
📜Binary Philology
Access Control Policy Generation from High-Level Natural Language Requirements
dl.acm.org·2d·
Discuss: Hacker News
🔒Language-based security
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.com·1d
🔍Z3 Parsing
rule-router: I built a high-performance rule engine for NATS in Go
reddit.com·1d·
Discuss: r/golang
🌊Streaming Systems
[R] How to retrieve instructions given to annotators - RLHF
reddit.com·1d·
Discuss: r/MachineLearning
📚Documentation Archaeology
A Lisp Interpreter for Linux Shell Scripting
jakobmaier.at·1d·
Discuss: Hacker News
🔗Lisp
SigmaEval – statistical evaluation for GenAI apps
github.com·3d·
Discuss: Hacker News
🔍Concolic Testing
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·56m·
Discuss: DEV
📊Multi-vector RAG
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·10h·
Discuss: DEV
🇨🇳Chinese Computing
English - the hottest programming language of the future
dev.to·21h·
Discuss: DEV
🔄Language Evolution
Evolutionary Profiles for Protein Fitness Prediction
arxiv.org·2d
🧮Kolmogorov Complexity
Relational Database Distillation: From Structured Tables to Condensed Graph Data
arxiv.org·2d
📊Graph Databases
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·17h·
Discuss: DEV
⚙️Proof Engineering
Instance Relation Learning Network with Label Knowledge Propagation for Few-shot Multi-label Intent Detection
arxiv.org·1d
🤖Grammar Induction
Valid Stopping for LLM Generation via Empirical Dynamic Formal Lift
arxiv.org·2d
💻Programming languages
Comparing human and language models sentence processing difficulties on complex structures
arxiv.org·2d
🔗Parser Combinators
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2h·
Discuss: DEV
📊Multi-vector RAG
Show HN: I built a LSP with its own parser to learn Rust
github.com·11h·
Discuss: Hacker News
⚡Dependent Rust