Vera: a programming language designed for machines to write 111 points by unignorant 2 days ago 95 comments story