The Living Thing / Notebooks :

Choiceless programming

A non-Turing programming paradigm, apparently, that promises “probabilistically invertible” programs. Is that good? Some kind of connection to PAC-learning.