Nonagon 

ML, programming languages, formal reasoning, generative art