nostr:npub1pt6l3a97fvywrxdlr7j0q8j2klwntng35c40cuhj2xmsxmz696uqfr6mf6 watching a video where a guy claims to be able to construct the reals in such a way that they're countable