Concurrent programs share state across threads. The primitives for managing that shared state - mutexes, semaphores, and channels - each express a different model of coordination. Understanding the differences determines which bugs you create.
How the three main approaches to memory management work, what they cost, and why the choice of memory model shapes the entire character of a programming language.
The four axes of type systems explained precisely, with real examples of what each combination means in practice and why the distinctions matter for everyday programming.
async/await is not magic. It is syntax over Promises, which are syntax over callbacks, which sit on top of a single-threaded event loop.
You do not need Haskell. Pure functions, immutability, and composition will improve code in any language you already use.
