I swear I hadn't seen this post when I wrote my one-sentence rant. https://blog.janestreet.com/formal-methods-at-jane-street-index/
@mflider
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
blog.janestreet.com
peterb
