How to write correct code by construction using the Coq Proof Assistant (betterprogramming.pub) | HN Screenshots

YHacker Newsscreenshots

Screenshot of betterprogramming.pub: How to write correct code by construction using the Coq Proof Assistant

First screen, captured 3 years ago.

Looks similar

Screenshot of souvic.medium.com: How I passed the Toptal Codility test?

How I passed the Toptal Codility test?(souvic.medium.com)

6 points by souvic 3 years ago | 1 comments

Screenshot of glaubercosta-11125.medium.com: Career advice for young system programmers

Career advice for young system programmers (glaubercosta-11125.medium.com)

166 points by signa11 3 years ago | 137 comments

Screenshot of medium.com: We Are Not Supporting OpenTF

We Are Not Supporting OpenTF (medium.com)

38 points by talonx 3 years ago | 37 comments

Screenshot of marcochiappetta.medium.com: Testing on production

Testing on production (marcochiappetta.medium.com)

150 points by chpmrc 3 years ago | 88 comments

Screenshot of bdicroce.medium.com: Smart Programmers Write STUPID Code (2022)

Smart Programmers Write STUPID Code (2022)(bdicroce.medium.com)

49 points by bdicroce 3 years ago | 39 comments

Screenshot of medium.com: What I Know About Community Building (2020)

What I Know About Community Building (2020)(medium.com)

49 points by yamrzou 3 years ago | 10 comments