πŸ“Š Static Analysis

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

10 Essential Java Libraries - How Essential Are They Really?
hackernoon.comΒ·1d
πŸ“Concrete Syntax
Flag this post
Do You Know Where Your Load-Bearing Code Is?
codemanship.wordpress.comΒ·12hΒ·
Discuss: Hacker News
πŸ“Code Metrics
Flag this post
Formatively Assessing Student Thinking
kgmathminds.comΒ·16h
πŸ“šProof Pedagogy
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.comΒ·12hΒ·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.comΒ·14hΒ·
Discuss: smalldatum.blogspot.com
πŸ”—Static Linking
Flag this post
Common Coding Mistakes at Every Level (And How to Fix Them)
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“œProof Carrying Code
Flag this post
How Do We Effectively Communicate Architecture?
blog.scottlogic.comΒ·2d
πŸ“ŸCLI Design
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.comΒ·1dΒ·
Discuss: Substack, r/cpp, r/programming
πŸ¦€Rust Borrowing
Flag this post
Code Intel: Multi-agent LLM and AST analysis for Python codebases (Python only)
github.comΒ·23hΒ·
Discuss: Hacker News
πŸ¦€Rust Borrowing
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.orgΒ·8hΒ·
Discuss: Hacker News
πŸ“ŸTerminals
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.comΒ·1d
πŸ”—Static Linking
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.comΒ·21hΒ·
Discuss: Substack
πŸ”©Systems Programming
Flag this post
Lang’s theorem β€” Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.comΒ·10h
Ξ»Lambda Encodings
Flag this post
Thankful for Memory Managed Languages
mooreds.comΒ·12hΒ·
Discuss: Hacker News
πŸ”©Systems Programming
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
ueber.netΒ·1dΒ·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
A Subsets.py Step-by-Step Visualization! (With Lyrics)
youtube.comΒ·1d
πŸ“šLempel-Ziv
Flag this post
FAWK: LLMs can write a language interpreter
martin.janiczek.czΒ·1dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸ¦€Rust Macros
Flag this post
On Cloudfare and Unwrap
reddit.comΒ·1dΒ·
Discuss: r/rust
πŸ¦€Rust Borrowing
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.caΒ·20h
Ξ»Lambda Formalization
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.ioΒ·14h
πŸ•ΈοΈWebAssembly
Flag this post