Point the user^W dev towards better "tools of thought" that decouple problem-refinements from solutions.

TLA+, proof assistants, AIDEs, etc

Outside HN, I've been mostly refining my examples "by hand"..

(Hope you guys made it to the CNSOER prequals but if not, I suspect you already know the 10 guys that you need to call :)