📊 Static Analysis

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

My BTL1 Review
infosecwriteups.com·1d
🔐Certificate Analysis
Getting Grades
mikestone.me·2d
🔢Denotational Semantics
Vulnerability Management – Requirements, Scoping & Target Setting
blog.nviso.eu·2d
🔐Capability Systems
Test your Infrastructure with Game Days
blog.devops.dev·17h
👁️System Observability
Practical Guide to Production-Grade Observability in the JS ecosystem
medium.com·11h
👁️System Observability
Organize automated tests without getting eaten by your devs
octomind.dev·2d·
Discuss: Hacker News
🔍Concolic Testing
Getting a Hypergraph of Functions to a Browser
systeminit.com·2d·
Discuss: Hacker News
📐E-graphs
Show HN: AI code reviewer that analyzes cross-module impacts
news.ycombinator.com·3d·
Discuss: Hacker News
🌀Brotli Internals
The Porcelain to Come
stackdiver.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Collaborate on Documents with Claude Code
github.com·1d·
Discuss: Hacker News
🦀Rust Macros
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·4h·
Discuss: DEV
⚡Circuit Archaeology
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·1d·
Discuss: DEV
📊Multi-vector RAG
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
🧮Compute Optimization
Getting Started with Object-Oriented Programming in Python
dev.to·2d·
Discuss: DEV
🔢Denotational Semantics
End-to-end testing of Gen AI Apps
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
I'm in Vibe Code Hell
blog.boot.dev·2d·
Discuss: Hacker News, r/programming
🚀Indie Hacking
Ryanair flight landed at Manchester airport with six minutes of fuel left
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Google Agent Development Kit (ADK) for TypeScript
github.com·13h·
Discuss: Hacker News
💧Liquid Types
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.com·4d
✅Format Validation
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·1d·
Discuss: Hacker News
⚡Proof Automation