A few mind experiments solidified as code.