📊 Static Analysis

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

Programming Entry Level: introduction debugging
dev.to·1h·
Discuss: DEV
🔩Systems Programming
An attempt to shroud text from LLMs
shape-of-code.com·3h
📝Concrete Syntax
20 years of programming
sidhion.com·9h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Flame Graph Performance Truth Analysis（1751213807259200）
dev.to·8h·
Discuss: DEV
⚡Performance Tools
Writing Code To Be Read at a Glance
jelv.is·5h·
Discuss: Hacker News, r/programming
🔗Concatenative Programming
Flame Graph Performance Truth Analysis（1751207306482100）
dev.to·10h·
Discuss: DEV
⚡Performance Tools
coding = writing text: approach it like an essay
dev.to·7h·
Discuss: DEV
💻Programming languages
Show HN: Visualizing method dependencies over classes in C# and TypeScript
github.com·14h·
Discuss: Hacker News
🔗Static Linking
Algorithms for Modern Hardware
en.algorithmica.org·8h·
Discuss: Hacker News
🎯Performance Proofs
Unveiling RIFT: Enhancing Rust malware analysis through pattern matching
microsoft.com·2d
🦀Rust Borrowing
Flame Graph Performance Truth Analysis（1751156736805300）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
Rust in C# Org
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
First thoughts on Rust vs. OCaml (2020)
blog.darklang.com·21h·
Discuss: Hacker News
🦀Rust Borrowing
Flame Graph Performance Truth Analysis（1751110891345100）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
A List Is a Monad
alexyorke.github.io·7h·
Discuss: Hacker News
🧬Functional Programming
Flame Graph Performance Truth Analysis（1751112287779000）
dev.to·1d·
Discuss: DEV
⚡Performance Tools
MinQND-Libc – Minimal Libc for WebAssembly
github.com·1d·
Discuss: Hacker News
⚙️PL Implementation
An interactive guide to x86-64 assembly
halb.it·2h·
Discuss: Hacker News
🔧RISC-V Assembler
Programming Entry Level: tutorial loops
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Test names should be sentences
bitfieldconsulting.com·16h·
Discuss: r/programming
🧪Property-Based Testing