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