Outside of learning a language are there many times that wrote memorization is useful? I can't think how I would use this in a software development sense. Coding katas come close to this and a useful but I'm not sure flash cards would do the same. Maybe it would be handy to memorize a libraries API but then if I use something enough that memorization would be useful I'll learn it by way of using it.
I think we've all found ourselves looking up a command line option for that one bash utility for the upteenth time. Throw it in a flash card and never look it up again. The same with text editor shortcuts, API's, etc. My shop teacher would tell us to write down when we needed to borrow a tool. If we had to borrow a tool twice, it was time to go and buy it. I think the same rule is useful for spaced repetition. Even i…
Congratulations, I guess?
Generally something is worth optimizing it this much when you're going to use it more than 10 times. Insert obligatory xkcd chart here: https://xkcd.com/1205/
There are things that are this useful, but they're generally in category of mathematics, potentially physics, chemistry or linguistics.
Learning parameters of a shell command, especially all of them, is a waste. Learn useful things first.
This is the main problem SuperMemo and Anki sets face, the ordering is by difficulty only and not by product of difficulty times usefulness.