📊 Static Analysis

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

Comparison of Generic Container Libraries for C
github.com·2d·
Discuss: Hacker News
💧Liquid Types
The 30-Day Challenge That Changed My Code Forever
dev.to·11h·
Discuss: DEV
📏Code Metrics
Leveraging Malware Sandboxes for Threat Analysis: How They Work, What They Reveal — Decision-Making Processes
cyberwarhead.com·1d
🦠Malware Analysis
On The Little Things of Data Representation
lmika.org·19h
🗄️Database Internals
Code Review Debt
rodolphoarruda.pro.br·1d
📏Code Metrics
Databricks: Recognizing and avoiding security vulnerabilities in vibe coding
heise.de·1d
📜Proof Carrying Code
Software Engineering Laws - Coding & Development
leadership.garden·23h
🔩Systems Programming
LaajMeter: A Framework for LaaJ Evaluation
arxiv.org·12h
🧠Intelligence Compression
50x Faster Code and Fewer Bugs? Ditch the Classes
hackernoon.com·9h
📏Code Metrics
We Should All Code Like Steve Jobs
priver.dev·1d·
Discuss: Hacker News
📏Code Metrics
Implementing an ikiwiki subset in Rust
blog.liw.fi·23h
🦀Rust Macros
Stacks in Python — A Practical Guide to LIFO Data Structures
thenewstack.io·51m
🔗Concatenative Programming
Joomla Security Testing Guide 2025 : Recon and Exploitation
hackertarget.com·11h
🛡️Security Headers
Typechecker Zoo
stephendiehl.com·15h
🔍Type Inference
Standard Package Layout (2016)
gobeyond.dev·1d·
Discuss: Lobsters
🔗Dependency Resolution
My Year of Rust
xavd.id·1d·
Discuss: Hacker News
🦀Rust Macros
Function-level Basic Block Analysis
binary.ninja·2d
⚙️RISC-V Microcode
How to do code reviews with AI tools
newsletter.techworld-with-milan.com·1d·
Discuss: r/programming
📏Code Metrics
Academic philosophy: my quixotic quest
lapcatsoftware.com·51m
🏛️Philosophy
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·19h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers