Nondeterminism in Formal Specification (buttondown.email)

Screenshot of buttondown.email: Nondeterminism in Formal Specification

First screen, captured 2 years ago.

Looks similar

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.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: State and time are the same thing

State and time are the same thing (buttondown.com)

35 points by BerislavLopac 2 years ago | 20 comments

Screenshot of buttondown.com: Unusual Raku Features

Unusual Raku Features (buttondown.com)

246 points by leontrolski 1 year ago | 136 comments

Screenshot of buttondown.com: What does “Undecidable” mean, anyway

What does “Undecidable” mean, anyway (buttondown.com)

127 points by BerislavLopac 1 year ago | 126 comments

Screenshot of buttondown.com: Solving LinkedIn Queens with SMT

Solving LinkedIn Queens with SMT (buttondown.com)

123 points by azhenley 1 year ago | 36 comments

Looks similar

Five Kinds of Nondeterminism(buttondown.com)

I prefer rST to Markdown(buttondown.email)

State and time are the same thing(buttondown.com)

Unusual Raku Features(buttondown.com)

What does “Undecidable” mean, anyway(buttondown.com)

Solving LinkedIn Queens with SMT(buttondown.com)