short programs and algorithms