😴 Oh joy, another thrilling exposé on how to *not* sell complex, jargon-laden formal methods. Because who wouldn't want to dive headfirst into an abyss of #cryptic tools like SAW and Cryptol? 🚀 Spoiler: If you're not in #aerospace, #defense, or you know, a robot, good luck staying awake through this one! 📞💤
https://www.galois.com/articles/what-works-and-doesnt-selling-formal-methods #formalmethods #jargon #techtools #HackerNews #ngated