Home Explore Bookmarks Inbox Collections Profile

Recent Search

Command Palette

Search for a command to run...

Command Palette

Search for a command to run...

Home Explore Bookmarks

Inbox Collections Profile

Formal Methods and the Future of Programming — Blankdot

blog.janestreet.com1 month ago

Formal Methods and the Future of Programming

Formal Methods and the Future of Programming

Article URL: https://blog.janestreet.com/formal-methods-at-jane-street-index/?from_theconsensus=1 Comments URL: https://news.ycombinator.com/item?id=48526633 Points: 18 # Comments: 0

Visit blog.janestreet.com

1

No discussion yet. Be the first to share your thoughts!