Marcus Hutter - The Search for Short Programs (via searchlore.ai)