Verification-First Development (buttondown.com)

Screenshot of buttondown.com: Verification-First Development

First screen, captured 1 year ago.

Looks similar

Screenshot of buttondown.email: I prefer rST to Markdown

I prefer rST to Markdown (buttondown.email)

320 points by BerislavLopac 2 years ago | 379 comments

Hillel Wayne's Computer Things newsletter post arguing that reStructuredText is preferable to Markdown for writing books and documentation with Sphinx.

restructuredtext markdown sphinx documentation

Screenshot of buttondown.com: The Opposite of Documentation is Superstition (2020)

The Opposite of Documentation is Superstition (2020)(buttondown.com)

145 points by BerislavLopac 1 year ago | 75 comments

Screenshot of buttondown.com: Five Kinds of Nondeterminism

Five Kinds of Nondeterminism (buttondown.com)

107 points by BerislavLopac 1 year ago | 28 comments

Screenshot of buttondown.com: Solving a “Layton Puzzle” with Prolog

Solving a “Layton Puzzle” with Prolog (buttondown.com)

99 points by Tomte 1 year ago | 24 comments

Screenshot of buttondown.com: Ternary Operators

Ternary Operators (buttondown.com)

45 points by azhenley 1 year ago | 48 comments

Screenshot of buttondown.com: Three ways formally verified code can go wrong in practice

Three ways formally verified code can go wrong in practice (buttondown.com)

158 points by todsacerdoti 1 year ago | 99 comments

Looks similar

I prefer rST to Markdown(buttondown.email)

The Opposite of Documentation is Superstition (2020)(buttondown.com)

Five Kinds of Nondeterminism(buttondown.com)

Solving a “Layton Puzzle” with Prolog(buttondown.com)

Ternary Operators(buttondown.com)

Three ways formally verified code can go wrong in practice(buttondown.com)

I prefer rST to Markdown (buttondown.email)

Five Kinds of Nondeterminism (buttondown.com)

Solving a “Layton Puzzle” with Prolog (buttondown.com)

Ternary Operators (buttondown.com)

Three ways formally verified code can go wrong in practice (buttondown.com)