Solving LinkedIn Queens with SMT (buttondown.com)

Screenshot of buttondown.com: Solving LinkedIn Queens with SMT

First screen, captured 1 year 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: 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: Five Kinds of Nondeterminism

Five Kinds of Nondeterminism (buttondown.com)

107 points by BerislavLopac 1 year ago | 28 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.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: Syntax highlighting is a waste of an information channel (2020)

Syntax highlighting is a waste of an information channel (2020)(buttondown.com)

306 points by swyx 1 year ago | 136 comments

Looks similar

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

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

Five Kinds of Nondeterminism(buttondown.com)

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

I prefer rST to Markdown(buttondown.email)