Alex Simpson has a lot of slides with very interesting ideas. One of them is what he calls the locale of random sequences. This is a terribly clever idea that aims at solving the question “what are random sequences?”, using locale theory. He obtains a very big locale, but without points in general… because every single random sequence is essentially not random. Read the full post.