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

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

First screen, captured 1 year ago.

Looks similar

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

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

61 points by todsacerdoti 2 years ago | 10 comments

Screenshot of buttondown.com: My Gripes with Prolog

My Gripes with Prolog (buttondown.com)

132 points by azhenley 9 months ago | 76 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

Screenshot of buttondown.com: Unusual Raku Features

Unusual Raku Features (buttondown.com)

246 points by leontrolski 1 year ago | 136 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: 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

Looks similar

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

My Gripes with Prolog(buttondown.com)

Solving LinkedIn Queens with SMT(buttondown.com)

Unusual Raku Features(buttondown.com)

I prefer rST to Markdown(buttondown.email)

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