📊 Static Analysis

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

My First Week of Vibecoding
underreacted.leaflet.pub·5h·
Discuss: Hacker News
🎯Gradual Typing
Refactoring: A way to write better Code
dev.to·6h·
Discuss: DEV
⚙️Operational Semantics
Sales pitch about why you should learn statistics
minireference.com·15h
🧠Intelligence Compression
Categorical systems theory
topos.institute·20h
🔀Category Theory
Experimentation
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com
📝Compiler Design
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·1d
🌊Streaming Systems
Cactus Language • Semantics 3
inquiryintoinquiry.com·16h
🔢Denotational Semantics
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·9h·
Discuss: Hacker News
⬌Bidirectional Typing
Python Security: What is SAST
nocomplexity.com·1d
🕵️Penetration Testing
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🧮Theorem Proving
Three ways formally verified code can go wrong in practice
buttondown.com·15h
📜Proof Carrying Code
Slip – A Lisp System in JavaScript
lisperator.net·18h·
Discuss: Hacker News
🔗Lisp
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Codeminer42 Dev Weekly #82
blog.codeminer42.com·15h
🎯Gradual Typing
"i like making things—" no. you like things.
kivikakk.ee·2d
📏Code Metrics
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.com·3d
🔓Decompilation
A new breed of analyzers
daniel.haxx.se·20h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·8h
🌊Stream Processing
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification