Formal Methods and the Future of Programming (blog.janestreet.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of blog.janestreet.com: Formal Methods and the Future of Programming

First screen, captured 4 months ago.

Looks similar

Screenshot of blog.janestreet.com: Formal methods and the future of programming

Formal methods and the future of programming (blog.janestreet.com)

322 points by eatonphil 4 months ago | 99 comments

Jane Street Blog post on formal methods and their role in the future of programming, illustrated with OCaml-style specification code.

formal-methods ocaml jane-street verification

Screenshot of futhark-lang.org: NumPy-style broadcasting in Futhark

NumPy-style broadcasting in Futhark (futhark-lang.org)

128 points by zfnmxt 2 years ago | 28 comments

Screenshot of brooker.co.za: Formal Methods: Just Good Engineering Practice? (2024)

Formal Methods: Just Good Engineering Practice? (2024)(brooker.co.za)

197 points by aiono 1 year ago | 115 comments

Screenshot of brooker.co.za: Formal methods: Just good engineering practice?

Formal methods: Just good engineering practice?(brooker.co.za)

148 points by ot 2 years ago | 102 comments

Screenshot of hillelwayne.com: Why don't people use formal methods? (2019)

Why don't people use formal methods? (2019)(hillelwayne.com)

93 points by Thom2503 2 months ago | 66 comments

Screenshot of jakob.space: What I've Learned About Formal Methods in Half a Year

What I've Learned About Formal Methods in Half a Year (jakob.space)

149 points by todsacerdoti 3 years ago | 59 comments