Currently designing and implementing the Surikata System, an open-source theory formation system written in OCaml which discovers new Maths based on information compression and greedy parsimony.