Formal methods and the future of programming
Culture Index
Score Breakdown
Relevance
3/25
Freshness
24/25
Authority
18/20
Brand Signal
11/15
Depth
4/15
5-Axis Cultural Radar
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: 245 # Comments: 86
