"Extropy Institute"@cs .