⚙️ ABNF Mining

Grammar Discovery, Protocol Archaeology, Syntax Extraction, Format Recovery

A Brief Introduction to Ruby
freecodecamp.org·15h·
Discuss: Hacker News
🔗Concatenative Programming
Finding links between fraudulent email domains using graph-based clustering
blog.castle.io·2d·
Discuss: Hacker News
📡DNS Archaeology
Much Ado About Vibe Coding
kottke.org·1h
⚡Effectful Programming
"Things are a bit bumpy right now" – FreeBSD:15 pkg repo is essentially down
lists.freebsd.org·2d·
Discuss: Hacker News
❄️Nix Flakes
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·13h·
Discuss: Hacker News, r/LocalLLaMA
🕵️Vector Smuggling
First comprehensive transport model of a plasma membrane calcium pump could inform new drug development
phys.org·7h
🔲Cellular Automata
Turning My Daily Commute into a Data Visualization Project
dev.to·1d·
Discuss: DEV
📈Time Series
OneUptime – open-source observability platform
github.com·3d·
Discuss: Hacker News
🌊Streaming Systems
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
UAV-VL-R1: Generalizing Vision-Language Models via Supervised Fine-Tuning and Multi-Stage GRPO for UAV Visual Reasoning
arxiv.org·3d
📊Quantization
Fusing Monocular RGB Images with AIS Data to Create a 6D Pose Estimation Dataset for Marine Vessels
arxiv.org·20h
🕳️Persistent Homology
Entropy-Constrained Strategy Optimization in Urban Floods: A Multi-Agent Framework with LLM and Knowledge Graph Integration
arxiv.org·20h
🔲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
Unlock LLM Precision: Master Structured Output with Pydantic and Instructor
dev.to·4d·
Discuss: DEV
🧮Prolog Parsing
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.to·3d·
Discuss: DEV
🎯Performance Proofs