⚙️ ABNF Mining

Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

Finding links between fraudulent email domains using graph-based clustering
blog.castle.io·2d·
Discuss: Hacker News
📡DNS Archaeology
"Things are a bit bumpy right now" – FreeBSD:15 pkg repo is essentially down
lists.freebsd.org·2d·
Discuss: Hacker News
❄️Nix Flakes
MCP, OTAs, and Reshaping Travel
directbooker.com·10h·
Discuss: Hacker News
🧠Query Planners
Show HN: Serverless platform for running voice AI agents
blog.livekit.io·1d·
Discuss: Hacker News
🌊Streaming Systems
Oracle Shuts Down Apiary.io
apisyouwonthate.com·1d·
Discuss: Hacker News
🔌Archive APIs
A brief consideration of input shapes (fuzzing)
addisoncrump.info·4d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
Weaponizing image scaling against production AI systems
blog.trailofbits.com·10h·
Discuss: Hacker News, r/LocalLLaMA
🕵️Vector Smuggling
First comprehensive transport model of a plasma membrane calcium pump could inform new drug development
phys.org·4h
🔲Cellular Automata
Turning My Daily Commute into a Data Visualization Project
dev.to·1d·
Discuss: DEV
📈Time Series
The Weirdest Syntax in Programming Languages (And Why It Exists)
dev.to·3d·
Discuss: DEV
💻Programming languages
CoDiEmb: A Collaborative yet Distinct Framework for Unified Representation Learning in Information Retrieval and Semantic Textual Similarity
arxiv.org·3d
🧮Vector Embeddings
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·17h
🕳️Persistent Homology
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·17h
🔲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
Unlock LLM Precision: Master Structured Output with Pydantic and Instructor
dev.to·4d·
Discuss: DEV
🧮Prolog Parsing