What TLA+ can and can't check(buttondown.com)

223 points by b-man 26 days ago | 47 comments

Hillel Wayne's Computer Things newsletter post on the limits of what TLA+ can verify, pushing back on claims that TLA+ with AI models will make AI-written code reliable.

My Gripes with Prolog(buttondown.com)

132 points by azhenley 9 months ago | 76 comments

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.

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

99 points by Tomte 1 year ago | 24 comments

Stroustrup's Rule (2024)(buttondown.com)

102 points by bmacho 4 months ago | 28 comments

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

35 points by BerislavLopac 2 years ago | 20 comments