⚙️ ABNF Mining

Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

Working With JSON Data in Python
realpython.com·1d
✅Format Verification
A Brief Introduction to Ruby
freecodecamp.org·10h·
Discuss: Hacker News
🔗Concatenative Programming
Postgres in 2025: No managed service required?
docs.codefloe.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Weaponizing image scaling against production AI systems
blog.trailofbits.com·7h·
Discuss: Hacker News, r/LocalLLaMA
🕵️Vector Smuggling
First comprehensive transport model of a plasma membrane calcium pump could inform new drug development
phys.org·1h
🔲Cellular Automata
Ask HN: Where to Hire JavaScript Devs?
news.ycombinator.com·30m·
Discuss: Hacker News
🗣️Domain-Specific Languages
Readers Respond to the April 2025 Issue
scientificamerican.com·2d
🔲Cellular Automata
Stabilization of BiCGSTAB by the generalized residual cutting method
arxiv.org·1d
📐Linear Algebra
CoDiEmb: A Collaborative yet Distinct Framework for Unified Representation Learning in Information Retrieval and Semantic Textual Similarity
arxiv.org·3d
🧮Vector Embeddings
The Long Season of Langdev
blog.fogus.me·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Script-Strategy Aligned Generation: Aligning LLMs with Expert-Crafted Dialogue Scripts and Therapeutic Strategies for Psychotherapy
arxiv.org·1d
🛠Language Design
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·3d
📊Quantization
Group Fairness Meets the Black Box: Enabling Fair Algorithms on Closed LLMs via Post-Processing
arxiv.org·3d
🧮Kolmogorov Bounds
Fusing Monocular RGB Images with AIS Data to Create a 6D Pose Estimation Dataset for Marine Vessels
arxiv.org·14h
🕳️Persistent Homology
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·14h
🔲Cellular Automata
Automated Cloud Resource Allocation via Hybrid Reinforcement Learning and Bayesian Optimization
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
GPU Costs Melting Your Budget
dev.to·3d·
Discuss: DEV
🌊Streaming Algorithms
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·2d·
Discuss: DEV
🎯Performance Proofs
State & Geopolitical Censorship on Twitter (X): Detection & Impact Analysis of Withheld Content
arxiv.org·1d
⚖️Feed Ranking
MCP Proxy Pattern: Secure, Retrieval-First Tool Routing for Agents
dev.to·1d·
Discuss: DEV
🔌Interface Evolution