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

More Than Code
deadprogrammersociety.com·1d·
Discuss: Hacker News