Some silly Z3 scripts I wrote(hillelwayne.com)

29 points by azhenley 8 months ago | 6 comments

The Tale of Daniel(hillelwayne.com)

170 points by hwayne 2 years ago | 49 comments

Exploring x86-64 Instruction Encoding(blog.kenanb.com)

72 points by kenanb 2 years ago | 15 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.

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

234 points by agluszak 1 year ago | 99 comments

A Perplexing JavaScript Parsing Puzzle(hillelwayne.com)

40 points by todsacerdoti 1 year ago | 12 comments