This is a repository for major, life-altering mistakes that you or others have made. Detailed accounts of specific mistakes are welcome, and so are mentions of general classes of mistakes that people often make. If similar repositories already exist (inside or outside of LW), links are greatly appreciated.
The purpose of this repository is to collect information about serious misjudgements and mistakes in order to help people avoid similar mistakes. (I am posting this repository because I'm trying to conduct a premortem on my life and figure out what catastrophic risks may screw me over in the near or far future.)
Looking at data structures more algebraically, as abstract types characterized by their introduction and elimination forms is another topic that's present in some standard CS sequences and can make one a better programmer. This breaks the habit of projecting intended interpretation of the data to its representation in computer memory, giving more freedom to design data structures for sparse data, that don't look like the data (which is their interpretation), but play its role (for example, binary decision diagrams). This is related to the statement/model distinction in logic, but the point of view of type theory is intuitively closer to programming practice. (SICP goes some of the way in this direction, but not in sufficient detail.)
A standard treatment of (in particular) this aspect of type theory is [Pierce] or [Harper], which would go easier after something like [Girard, Lafont & Taylor]. Related intuitions can be developed by learning a language like Haskell [Lipovaca] and some category theory [Lawvere & Schanuel]. References:
Seconding the type theory recommendation. The formal CS education I had contained almost nothing about this, so it was all independent studying from textbooks for me anyway.