Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015) (ericpony.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of ericpony.github.io: Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)

First screen, captured 11 months ago.

Looks similar

Screenshot of hpyproject.org: HPy – A better C API for Python

HPy – A better C API for Python (hpyproject.org)

236 points by gjvc 2 years ago | 78 comments

Screenshot of winprog.org: TheForger's Win32 API Tutorial

TheForger's Win32 API Tutorial (winprog.org)

55 points by xeonmc 1 year ago | 4 comments

Screenshot of oceanpark.com: AP5 - Declarative Programming Library For Common Lisp (1995)

AP5 - Declarative Programming Library For Common Lisp (1995)(oceanpark.com)

49 points by contrapunctus 2 years ago | 2 comments

Screenshot of til.simonwillison.net: CLI tools hidden in the Python standard library

CLI tools hidden in the Python standard library (til.simonwillison.net)

436 points by swyx 3 years ago | 114 comments

A TIL post by Simon Willison exploring Python standard library modules that can be run as command-line tools via python -m, such as gzip and site.

python standard-library cli command-line

Screenshot of tkte.ch: Parsing URLs in Python

Parsing URLs in Python (tkte.ch)

148 points by ibobev 2 years ago | 76 comments

Screenshot of norvig.com: (How to Write a (Lisp) Interpreter (In Python)) (2010)

(How to Write a (Lisp) Interpreter (In Python)) (2010)(norvig.com)

171 points by selvan 2 years ago | 72 comments