Ranked Programming (Or: Probabilistic Programming Without Probabilities)github.com/tjitze2 pointstr3527 years ago