📊 Static Analysis

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

Reverse engineering a basic gym app
blog.davidv.dev·1d
🏺ZIP Archaeology
How the universe encodes information
robinsloan.com·6h
🔲Cellular Automata
An emulator test suite for the 286 (github.com)
github.com·2d
🎯Emulation Accuracy
Scalable and Modular Architecture for CSS
smacss.com·1d·
Discuss: Hacker News
📝Concrete Syntax
Building My First iOS App
loukidelis.com·10h·
Discuss: Hacker News
🔄Sync Engine
Show HN: Bearify – Write workflows in plain English instead of using flowcharts
bearify.ai·1d·
Discuss: Hacker News
🤖Archive Automation
Swift and C++ Interoperability in Practice
arturgruchala.com·2d·
Discuss: Hacker News
✅Format Verification
TheOdinProject/css-exercises
github.com·3d
⚡Proof Automation
Serverless single tenant RAG with DuckDB
summer.io·10h·
Discuss: Hacker News
📰Feed Readers
Reliable by Design: Fast, Fail-Safe AI Agents
aimon.ai·2d·
Discuss: Hacker News
🔍Concolic Testing
A lightweight TCP in UDP tunnel using eBPF for MPTCP
github.com·12h·
Discuss: Hacker News
📡Network Protocol Design
Sjj1024/PakePlus
github.com·1h
🏺ZIP Archaeology
Active RISs: Modeling and Optimization
arxiv.org·22h
⚙️Modern Assembly
Rust: Clippy performance status update
blog.goose.love·4d·
Discuss: Lobsters, r/programming
🔩Systems Programming
The problem with AI agents isn’t the model, it’s missing context (and we built the fix)
dev.to·4h·
Discuss: DEV
⚙️TLA+
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·2d·
Discuss: Hacker News
📦Container Security
CLI vs IDE Coding Agents: Choose the Right One for 10x Productivity!
dev.to·1d·
Discuss: DEV
🐚Shell Automation
Vibe coding clarity with Kiro specs
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Top AI Agent Protocols for Developers in 2025
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Characterizing Online Activities Contributing to Suicide Mortality among Youth
arxiv.org·22h
📚Digital Humanities