lobste_rs feeds.twtxt.net Sun, May 25 6:51PM (24w ago) What Works (and Doesn’t) Selling Formal Methods Comments ⌘ Read more ⤋ Read More