> All software is leaky abstraction because it doesn't run on abstract mathematics, it runs on hardware. I can literally smash it with a hammer and then all the "guarantees" are worthless.

Man, if that were the only thing that could make software go wrong, we would live in a much better world.