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