Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,668 posts.

Any topic
2019
902

PostgreSQL at low level: stay curious

Yes, I know, it’s a long text, and it was my conscious decision to write it in this way. But fear not! Imagine that you read a book, take a look at the introduction and first few interesting sections, think about it and then find time to read further. I hope I’ve left enough references, so if you don’t get some ideas…

903

What is energy, actually? (2011)

That’s an easy go: energy is the amount of (on) my electricity bill, or maybe of (on) my natural gas bill. If I am very concentrated, I might add that it is also the money I spend at the gasoline pump, and if I am even more concentrated I will suggest that it might have something to do with the filling up of my…

910

Escher-Like Spiral Tilings

The artist M.C. Escher drew many lovely tilings, which he called “regular divisions of the plane”. He worked hard to ensure that his tilings were of lifelike animal forms such as birds and fish. He filled notebooks with hand-drawn sketches of tilings, many of which later found their way into his woodcuts. If you’d…

915

Alone in the Dark

Most videogame stories are power fantasies. You spend your time getting ever stronger, ever tougher, ever more formidable as you accumulate experience points, gold, and equipment. Obstacles aren’t things to go around; they’re things you go through. If you can’t get past any given monster, the solution is to go kill…

926

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…