A programming philosopher