⚙️ ABNF Mining

Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

Ordered Maps and JNodes
blog.saxonica.com·1d
🔄Burrows-Wheeler
Individual URL compression experiment initial thoughts
notes.volution.ro·1d·
Discuss: Hacker News
📝Text Compression
We raised $7.3M to build an open-source stack for industrial-grade LLM apps
tensorzero.com·1d·
Discuss: Hacker News
⚡SMT Integration
The AGENTS.md Standard: A simple, open format for guiding coding agents
agents.md·10h·
Discuss: Hacker News
⚡Proof Automation
The Fallacies of Management – The Network Is Reliable
xangelo.medium.com·9h·
Discuss: Hacker News
🤝Distributed Consensus
Sebuf: Build HTTP APIs from Protobuf Definitions with Automatic Validation and OpenAPI Docs (And more)
reddit.com·22h·
Discuss: r/golang
⚡gRPC
I built a tool to chat with research papers using LangGraph and RAPTOR
github.com·1d·
Discuss: Hacker News
🔬Academic Search
Show HN: Stateful LLM inference (no cost for input tokens, not prompt-caching)
news.ycombinator.com·1d·
Discuss: Hacker News
💻Local LLMs
Go Coding with Asparagos: Sunflowers and the Speaking Challenge
dev.to·1d·
Discuss: DEV
🔗Concatenative Languages
Code changes and Improvements for neural web
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
X-Ray-CoT: Interpretable Chest X-ray Diagnosis with Vision-Language Models via Chain-of-Thought Reasoning
arxiv.org·1d
🧠Machine Learning
SEDEG:Sequential Enhancement of Decoder and Encoder's Generality for Class Incremental Learning with Small Memory
arxiv.org·1d
🧠Neural Codecs
A Case Against Abstraction
dev.to·1d·
Discuss: DEV
✨Effect Handlers
Note on Selection Bias in Observational Estimates of Algorithmic Progress
arxiv.org·2d
🧮Kolmogorov Bounds
MIRAGE: Towards AI-Generated Image Detection in the Wild
arxiv.org·7h
🔍Vector Forensics
Automated Test Case Prioritization with Dynamic Feature Interaction Graph Optimization
dev.to·2d·
Discuss: DEV
🔍Concolic Testing
Causally-Guided Pairwise Transformer -- Towards Foundational Digital Twins in Process Industry
arxiv.org·1d
🧠Machine Learning
Grounding Rule-Based Argumentation Using Datalog
arxiv.org·2d
🧠Computational Logic
Adaptive Autonomous Agent Calibration Via Dynamic Bayesian Meta-Learning
dev.to·12h·
Discuss: DEV
📊Quantization
Latent Plan Transformer for Trajectory Abstraction: Planning as Latent Space Inference
arxiv.org·1d
📊Quantization