Verification-First Development(buttondown.com)

46 points by vinipolicena 1 year ago | 21 comments

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

99 points by Tomte 1 year ago | 24 comments

Many hard LeetCode problems are easy constraint problems(buttondown.com)

632 points by mpweiher 1 year ago | 499 comments

Hillel Wayne's Computer Things newsletter post arguing that many hard LeetCode interview problems are easily solved with constraint solvers.

Why Not Comments(buttondown.com)

235 points by ghewgill 2 years ago | 237 comments

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.

Was Javascript really made in 10 days?(buttondown.email)

76 points by redbell 2 years ago | 50 comments