📊 Static Analysis

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

Web Site Reorg
mwl.io·19h
🏠Personal Archives
Performance Testing, Part 1: The Road to Continuous Performance Testing
tweag.io·1d
👁️System Observability
Automagical JavaScript Programming
crtv.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Vive la Difference: Practical Diff Testing of Stateful Applications
muratbuffalo.blogspot.com·1d·
Discuss: www.blogger.com
✅Archive Fixity
Developers Think "Testing" is Synonymous with "Unit Testing" – @garthgilmourni
youtube.com·2d
🔍Concolic Testing
Inline Caching (2021)
bernsteinbear.com·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Replacing developers with GPUs
ayende.com·2d
📏Code Metrics
Remote File Inclusion (RFI) — Full Breakdown for Beginners
infosecwriteups.com·7h
💣ZIP Vulnerabilities
Haskell Crash Course
yager.io·2d
🔗Lisp
Shapes and Shadows – CSS
codepen.io·1d·
Discuss: Hacker News
🖋Typography
Multiple Reachability in Linear Dynamical Systems
arxiv.org·10h
🔄Finite State Machines
How I Started Contributing to Tinygrad – My First 4 Merged PRs
ninoristeski.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
State of torch.compile for training (August 2025)
blog.ezyang.com·1d·
Discuss: Hacker News
🦀Rust Macros
Vibe Coding Awareness Month
hellotonic.com·1d·
Discuss: Hacker News
🔄Language Evolution
A beginner-friendly guide to learning Jax with practical examples
github.com·21h·
Discuss: Hacker News, r/LocalLLaMA
⚔️Lean Tactics
Beyond `?`: Why Rust Needs `try` for Composable Effects
reddit.com·1d·
Discuss: r/rust
🐚Shell Monads
On Accessibility Conformance, Design Systems, and CSS “Base” Units
css-tricks.com·1d
🎨Swedish Design Philosophy
Book Review: The Math Academy Way
ijfen.substack.com·1d·
Discuss: Substack
📚Proof Pedagogy
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·1d·
Discuss: Hacker News
✅Format Verification
Efficiently Verifiable Proofs of Data Attribution
arxiv.org·10h
🛡️Proof-Carrying Data