Procedural generation is the idea of using simple rules to generate more complicated items - used in games such as Minecraft and Elite, Zac Garby of the University of Nottingham explains with the use of the game Carcassonne.

Features an implementation of wave function collapse.

Excellent set of talks.

This page presents a video-based tutorial on using the Church programming language.

Also a great hub of resources for probabilistic programming.

A “quine” is a deterministic program that prints itself. In this essay, I will show you a “gauguine”: a probabilistic program that infers itself. A gauguine is repeatedly asked to guess its own source code. Initially, its chances of guessing correctly are of course minuscule. But as the gauguine observes more and more of its own previous guesses, it detects patterns of behavior and gains information about its inner workings. This information allows it to bootstrap self-knowledge, and ultimately discover its own source code. We will discuss how—and why—we might write a gauguine, and what we stand to learn by constructing one.

Beautiful paper. Church also looks to be tremendously powerful; I ought to give it a try.