Formal Methods and the Future of Programminghttps://blog.janestreet.com/formal-methods-at-jane-street-index/ by dcre • 1 month ago 3 2 1 month agoBLblog.janestreet.com