Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 754 posts.

Tools & Productivity
Any year
369

Programming the Z3 SMT solver

Abstract. This tutorial provides a programmer ' s introduction to the Satisfiability Modulo Theories Solver Z3. It describes how to use Z3 through scripts, provided in the Python scripting language, and it describes several of the algorithms underlying the decision procedures within Z3. It aims to broadly cover almost…

384

Avy Can Do Anything

Update (2024-09-08): Read this article in Japanese at Qiita or at Emacs-JP. You’re using Avy wrong. Too harsh? Let me rephrase: you’re barely using Avy. Still too broad? Okay, the noninflammatory version: Avy, the Emacs package to jump around the screen, lends itself to efficient composable usage that’s obscured by…