Some silly Z3 scripts I wrote (hillelwayne.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of hillelwayne.com: Some silly Z3 scripts I wrote

First screen, captured 8 months ago.

Looks similar

Screenshot of hillelwayne.com: A Perplexing JavaScript Parsing Puzzle

A Perplexing JavaScript Parsing Puzzle (hillelwayne.com)

40 points by todsacerdoti 1 year ago | 12 comments

Screenshot of hillelwayne.com: Handwriting Programs in J (2017)

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

20 points by Bogdanp 1 year ago | 8 comments

Screenshot of joaomagfreitas.link: Scripts should be written using the project main language

Scripts should be written using the project main language (joaomagfreitas.link)

92 points by freitzzz 2 years ago | 102 comments

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

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

234 points by agluszak 1 year ago | 99 comments

Screenshot of hillelwayne.com: Maybe comments should explain 'what' (2017)

Maybe comments should explain 'what' (2017)(hillelwayne.com)

191 points by zahrevsky 9 months ago | 184 comments

Screenshot of evanhahn.com: My programming beliefs as of July 2024

My programming beliefs as of July 2024 (evanhahn.com)

44 points by signa11 2 years ago | 13 comments