Geometry of Program Synthesis
  We re-evaluate universal computation based on the synthesis of Turing
machines. This leads to a view of programs as singularities of analytic
varieties or, equivalently, as phases of the Bayesian posterior of a synthesis
problem. This new point of view reveals unexplored directions of research in
program synthesis, of which neural networks are a subset, for example in
relation to phase transitions, complexity and generalisation. We also lay the
empirical foundations for these new directions by reporting on our
implementation in code of some simple experiments.
