Jane Street har lenge vært skeptiske til formelle metoder, men endrer nå kurs. Artikkelen drøfter hvordan formell verifikasjon kan forme fremtidens programmering.
Kilde: https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1