Updated: DTProbLog, book, new Aleph examples, von Neumann's trick, red and blue hats puzzle, h-index, Bitcoin double spending attack, Bitcoin two-phase PoW