I have transitioned to a category theoretical terminal interface (CTTUI). At this terminal, whenever I have an idea and I want to see it in practice, instead I think about some nice happy functors dancing in some nice happy 2-category of functors and natural transformations. Sometimes I will draw a string diagram proof that looks like a bowl of spaghetti, which makes me hungry. Very soon the desire to use a computer passes. And that is how 50 years of awful terminal tech debt is universally avoided, just by tapping the power of categories!