@aeva To paraphrase one of my favorite professor: "there is a tradeoff between how many correct programs you exclude, and how many incorrect programs you can exclude"
Lesley Lai
@lesley@mastodon.gamedev.place
@aeva To paraphrase one of my favorite professor: "there is a tradeoff between how many correct programs you exclude, and how many incorrect programs you can exclude"