In no particular order. Unfortunately, since I started collecting these several years after I started programming, the list is rather incomplete.
Design and Code Style
The Wrong Abstraction and Goodbye, Clean Code
- At some point I was obsessed with GOF-style design patterns and elaborate abstractions in general. These two posts finally pushed me to understand that design patterns are tools, not rules to follow, and that sometimes the best abstraction is no abstraction (or a minimal one.)
- Among other interesting notes about data-oriented design, there’s the observation that simple algorithms and data structures—Pike lists arrays, linked lists, hash tables, and binary trees— composed appropriately are sufficient (and lead to the clearest code) for the vast majority of programs.
-
Names need not—indeed, should not—be maximally verbose all the time; a short name whose meaning can be inferred from context is preferable to a long-winded name since it aids skimming and increases information density. Long, descriptive names are occasionally appropriate, but don’t be dogmatic about it.
A great analogy from Isaac Schlueter via HN:
The first time you meet someone, you learn their full name. When discussing them with someone else who knows them, you use just a single name. If they’re standing right there, you don’t bother using their name, but just make eye contact, and maybe a “Hey”. Should be the same way with variables.
Performance
Matt Godbolt “What Has My Compiler Done for Me Lately?”
-
I used to do competitive programming, and picked up the bad habit of writing things like
v >> 1
instead ofv / 2
andmemset(dp, 0x3f, sizeof(dp))
instead ofstd::fill(std::begin(dp), std::end(dp), 0x3f3f3f3f)
in the belief that the former was more performant. This talk convinced me that this belief was totally unfounded and shows just how smart modern compilers can be—the two optimizations above are, in fact, relatively simple for compilers to do!Of course, compilers are not magic: programmers must still take care to choose appropriate data structures and algorithms. Finer optimizations are sometimes necessary, but warrant more careful profiling and benchmarking.
Why is processing a sorted array faster than processing an unsorted array? and Bjarne Stroustrup: Why you should avoid Linked Lists
- Processor-level performance considerations—branch prediction and memory locality respectively.
Undefined Behavior can result in time travel
- How undefined behavior enables optimizations, which can sometimes manifest as undesirable and bizarre changes.
Other
- Inline snapshot tests—one of my favorite testing strategies.
Go Testing By Example and How to Test
Strings, bytes, runes and characters in Go
- Bytes ≠ code points ≠ characters.
- Judiciously encoding constraints on data using the type system.
Using unwrap() in Rust is Okay
- Most languages that promote “errors as values” also provide a way to raise fatal errors (called panics in Rust and Go); this post addresses the question of when, if ever, is it OK to panic over returning an error.
Accurate mental model for Rust’s reference types
- A
&mut T
is most accurately described as an exclusive reference and likewise&T
is a shared reference. Crucially,&T
is not necessarily an immutableT
, as demonstrated by interior mutability and atomic values.