There are people in this very thread insisting that proofs are extremely useful in programming. I dunno if I just picked up the same skills elsewhere (Logic? Philosophy? Just... IDK, thinking and developing an absolute shitload of heuristics through years of experience?) or am entirely missing out and in fact don't have a clue how to program, but I don't see it (outside some rare niches where it probably is useful—coq exists, after all).

Sure, the word "exhaustive" can apply both to accounting for all (reasonably) possible problems in a block of code, and also to proofs, but the former doesn't feel at all like working on proofs, to me, to pick just one example (and some posts have seemed to imply that accounting for e.g. edge cases is exactly one case in which experience with proofs come in handy, but man, they feel like very different and barely-related activities to me).