📊 Static Analysis

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

Learning by Doing: An Introduction to Static Program Analysis
medium.com·1d·
Discuss: Hacker News
🔩Systems Programming
You are holding BUILD files wrong
blogsystem5.substack.com·5h·
Discuss: Substack
⚙️Build Archaeology
Specification, speed and (a) schedule
kaleidawave.github.io·1d·
Discuss: Lobsters, r/programming
🔩Systems Programming
my work colleagues use generics everywhere for everything
reddit.com·3h·
Discuss: r/golang
💧Liquid Types
The Little Book of Linear Algebra
little-book-of.github.io·35m·
Discuss: Hacker News
📐Linear Algebra
Orchestrating Data Quality with Airflow
astronomer.io·1h·
Discuss: Hacker News
🌊Stream Processing
Notes on LLM Evaluation
towardsdatascience.com·1d
📋Formal Verification
CodeSOD: High Strung
thedailywtf.com·1d
✅Format Verification
Packing Multiple Services into One Rust Binary
carlriis.com·10h·
Discuss: Hacker News
🔒Linear Types
Upcoming projects, Fall 2025 edition
mikewarot.blogspot.com·15h·
Discuss: www.blogger.com
🔍BitFunnel
Why and When to Use Sentence Embeddings Over Word Embeddings
machinelearningmastery.com·9h
📝Text Embeddings
<p><strong>documentation</strong> (n.) — written artefacts describing the workings, design, or operations of a software projects.</p>
lmika.org·1d
📚Documentation Archaeology
Design Dialects: Breaking the Rules, Not the System
alistapart.com·4h
🛠Language Design
Chris Penner: Monads are too powerful: The Expressiveness Spectrum
chrispenner.ca·2d
✨Effect Handlers
Code That Works Isn’t Always Code That Lasts
software.ac.uk·1d
📏Code Metrics
Pointer leaks through pointer-keyed data structures
googleprojectzero.blogspot.com·4h·
Discuss: googleprojectzero.blogspot.com
🌳Archive Merkle Trees
Executing Shellcode with ReadDirectoryChanges’s Hidden Callback
osandamalith.com·1d
📝Shell Parsing
std::flip
morwenn.github.io·16h·
Discuss: Hacker News, r/cpp
🔗Functional Compilers
Two Math Routines to Learn About Student Thinking
kgmathminds.com·4h
📚Proof Pedagogy
Learning from software errors – Part 1: Units. When numbers become misleading
heise.de·14h
🛡️Error Boundaries