I surmise that you already have a general rec in mind so I'm just reiterating here for your review: Point the user^W dev towards better "tools of thought" tha

I surmise that you already have a general rec in mind so I'm just reiterating here for your review: 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 :)