A Dumb Introduction to Z3 (2025) (ar-ms.me) | HN Screenshots

YHacker Newsscreenshots

Screenshot of ar-ms.me: A Dumb Introduction to Z3 (2025)

First screen, captured 6 months ago.

Looks similar

Screenshot of asibahi.github.io: A dumb introduction to z3

A dumb introduction to z3 (asibahi.github.io)

239 points by kfl 1 year ago | 37 comments

Screenshot of marci.gunyho.com: A trick to eliminate 2π (sometimes)

A trick to eliminate 2π (sometimes)(marci.gunyho.com)

180 points by mgunyho 3 years ago | 147 comments

Screenshot of laurmaedje.github.io: Typst's Math Mode Problem

Typst's Math Mode Problem (laurmaedje.github.io)

98 points by marcianx 1 year ago | 44 comments

Screenshot of blog.djnavarro.net: When good pseudorandom numbers go bad

When good pseudorandom numbers go bad (blog.djnavarro.net)

60 points by chewxy 1 year ago | 19 comments

Screenshot of philipzucker.com: Compiling with Constraints

Compiling with Constraints (philipzucker.com)

108 points by philzook 2 years ago | 31 comments

Screenshot of mmapped.blog: The Third Hard Problem

The Third Hard Problem (mmapped.blog)

113 points by surprisetalk 5 months ago | 52 comments