A dumb introduction to z3(asibahi.github.io)
239 points by kfl | 37 comments
asibahi.github.io on Hacker News
1 story on the front page, newest first. Scroll down to watch the site change over time.
1 story on the front page, newest first. Scroll down to watch the site change over time.
239 points by kfl | 37 comments