Is Reddit worth it for building a DevTools community and driving growth?

Has anyone here successfully used Reddit to build a community around developer tools? I'm particularly interested in how it performed as a marketing asset and if ad spend was worth it for driving engagement and growth—any insights?