Some silly Z3 scripts I wrote(hillelwayne.com)

29 points by azhenley 8 months ago | 6 comments

Crimes with Python's Pattern Matching (2022)(hillelwayne.com)

234 points by agluszak 1 year ago | 99 comments

Planner programming blows my mind(hillelwayne.com)

337 points by todsacerdoti 2 years ago | 47 comments

Hillel Wayne blog post explaining the Picat research language and its planner module for planning-based logic programming.

Mostly dead influential programming languages (2020)(hillelwayne.com)

215 points by azhenley 1 year ago | 135 comments

Handwriting Programs in J (2017)(hillelwayne.com)

20 points by Bogdanp 1 year ago | 8 comments

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

99 points by Tomte 1 year ago | 24 comments