Solving a math problem with planner programming (buttondown.email)

Screenshot of buttondown.email: Solving a math problem with planner programming

First screen, captured 2 years ago.

Looks similar

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.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: Solving LinkedIn Queens with SMT

Solving LinkedIn Queens with SMT (buttondown.com)

123 points by azhenley 1 year ago | 36 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: The Halting Problem is a terrible example of NP-Harder

The Halting Problem is a terrible example of NP-Harder (buttondown.com)

87 points by BerislavLopac 1 year ago | 92 comments

Screenshot of buttondown.com: Ternary Operators

Ternary Operators (buttondown.com)

45 points by azhenley 2 years ago | 48 comments

Looks similar

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

I prefer rST to Markdown(buttondown.email)

Solving LinkedIn Queens with SMT(buttondown.com)

Unusual Raku Features(buttondown.com)

The Halting Problem is a terrible example of NP-Harder(buttondown.com)

Ternary Operators(buttondown.com)