Path-Sensitive

Book Review: Tidy First?

Should you split that file?

It's time for the 'Sell painkillers, not vitamins' metaphor to die

This one weird trick^H^H^H^H^H deep technique for writing an actually good resume

The 11 Aspects of Good Code

'Modules Matter Most' for the Masses

Book Review: The Senior Mindset

How an Ancient Philosophy Problem Explains Software Dependence

Solving the Dog-Bunny Puzzle with Program Verification Technology

Abstraction: Not What You Think It Is

Developer tools can be magic. Instead, they collect dust.

Why Programmers Should(n't) Learn Theory

Book Review: Elements of Programming

My Interview on CoRecursive: Advanced Software Design with Jimmy Koppel

The Best Refactoring You've Never Heard Of

Book Review: Practical TLA+

My Strange Loop talk: You are a Program Synthesizer (video + transcript)

Book Review: A Philosophy of Software Design

My Interview with Future of Coding: On the Maintenance of Large Software

When your data model means something else

The Practice is not the Performance: Why project-based learning fails

My favorite principle for code quality

The Benjamin Franklin Method of Reading Programming Books

The Design of Software is A Thing Apart

The Three Levels of Software: Why code that never goes wrong can still be wrong