📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

Installing a Mini-Split AC in a Brooklyn Apartment
probablydance.com·15h
🏠Home Automation
A Video Introduction to Broadband Surveillance with RTL_POWER
rtl-sdr.com·9h
📻Homebrew Protocols
CodeSOD: An Annual Report
thedailywtf.com·9h
🧬Bitstream Evolution
Favourites of July 2025
brainbaking.com·1d
🕸️Knowledge Graphs
Testing out Crush, a TUI based coding agent (in neovim btw)
grahamhelton.com·2d
🌀Brotli Internals
10 Practical Restaurant Automation Ideas (No Buzzwords, Just Real Stuff)
dev.to·7h·
Discuss: DEV
🧮Algorithmic Cooking
Vibe Coding but not what you think
amritpandey.io·5d·
Discuss: Hacker News
📏Code Metrics
Understanding Client-Server Architecture: The Backbone of Web Applications System (Basics conpets of system design)
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Unsupervised Multi-channel Speech Dereverberation via Diffusion
arxiv.org·11h
👂Psychoacoustic Coding
Axum Is Shaping the Future of Web Development in Rust
dev.to·23h·
Discuss: DEV
🔒Linear Types
Modular Snip Recorder: A Data Collection Tool for Behavior Cloning (1/2)
dev.to·2d·
Discuss: DEV
💾Floppy Imaging
Python Fundamentals: concurrency
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Why New Dev Posting Trend is Quite Dissapointing
dev.to·2d·
Discuss: DEV
📏Code Metrics
Canoe Paddling Quality Assessment Using Smart Devices: Preliminary Machine Learning Study
arxiv.org·11h
🌀Differential Geometry
Hydra: Accurate Multi-Modal Leaf Wetness Sensing with mm-Wave and Camera Fusion
arxiv.org·11h
📡Information theory
Marketing for Developers: The A-Z Guide to Taking Your Project from Zero to Hero
dev.to·2d·
Discuss: DEV
📏Code Metrics
Text-Attributed Graph Anomaly Detection via Multi-Scale Cross- and Uni-Modal Contrastive Learning
arxiv.org·1d
🧮Vector Embeddings
PilotRL: Training Language Model Agents via Global Planning-Guided Progressive Reinforcement Learning
arxiv.org·1d
🧮Prolog Parsing
Machine Learning Fundamentals: logistic regression
dev.to·5d·
Discuss: DEV
🧠Machine Learning
Filtering with Self-Attention and Storing with MLP: One-Layer Transformers Can Provably Acquire and Extract Knowledge
arxiv.org·11h
🧠Machine Learning