Nothing in life is certain except death, taxes and the second law of thermodynamics. All three are processes in which useful or accessible forms of some quantity, such as energy or money, are transformed into useless, inaccessible forms of the same quantity. That is not to say that these three processes don’t have fringe benefits: taxes pay for roads and schools; the second law of thermodynamics drives cars, computers and metabolisms; and death, at the very least, opens up tenured faculty positions.

via: https://en.wikipedia.org/wiki/Reversible_computing

decentralized social network

boot 9front as a qemu vm

The Kani Rust Verifier is a bit-precise model checker for Rust.