📊 Static Analysis

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

QUIC! Jump to User Space!
hackaday.com·11h
🌐Network Protocols
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Quoting Simon Højberg
simonwillison.net·2d
🦀Rust Macros
Abstraction for Abstraction’s Sake: How Developers Talk Themselves Into Complexity
hackernoon.com·1d
🧬Functional Programming
Let's Write a Macro in Rust
hackeryarn.com·10h·
Discuss: Hacker News
🦀Rust Macros
Static Bundle Object: Modernizing Static Linking
medium.com·3d·
Discuss: Hacker News, Hacker News
🔗Static Linking
Does Go have types?
youtube.com·14h·
Discuss: r/golang
🔒Linear Types
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·7h·
Discuss: Hacker News
🔗Concatenative Programming
Experimenting with ACL2 and Claude Code
mikedodds.org·14h·
Discuss: Hacker News
👑Isabelle
Building the Reasoning Engine at Axiom
axiommath.ai·7h·
Discuss: Hacker News
⚔️Lean Tactics
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Item Patterns and Struct Await
noratrieb.dev·21h·
Discuss: Hacker News
🦀Rust Macros
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
Picking an AI Code Reviewer
markmarkoh.com·7h·
Discuss: Hacker News
📏Code Metrics
"i like making things—" no. you like things.
kivikakk.ee·1d
📏Code Metrics
Renoun – The Documentation Toolkit for React
renoun.dev·10h·
Discuss: Hacker News
🔄Language Evolution
Boosting Unit Test Automation at Audible with Amazon Q Developer
aws.amazon.com·7h
🔄Reproducible Builds
Operable Software
ferd.ca·13h·
Discuss: Hacker News
👁️System Observability
English - the hottest programming language of the future
dev.to·9h·
Discuss: DEV
🔄Language Evolution
Closer to production quality Python notebooks with `marimo check`
marimo.io·3d·
Discuss: Hacker News
✅Archive Validation