QC
@qchu.bsky.social
2.5K followers 300 following 870 posts
irrationalist | substack: qchu.substack.com | twitter: @QiaochuYuan
Posts Media Videos Starter Packs
qchu.bsky.social
this poem contains several of the worst sentences i've ever written
qchu.bsky.social
there’s a girl working at my favorite diner who i swear to god has the exact appearance and vibe of an irl wendy from gravity falls and she is really doing something to me good lord
qchu.bsky.social
this probably looked really nice like a week or two ago
qchu.bsky.social
very cultured, nice
qchu.bsky.social
bless. this is the best stuff on my skyline rn 🫡
qchu.bsky.social
that episode of voyager where she let down her hair really did something for me as a kid
qchu.bsky.social
like you can take a look at the wacky stuff here, it's not hard to e.g. describe ordinals so large ZFC can't construct them, or any other particular computable list of axioms for set theory!

https://en.wikipedia.org/wiki/Large_countable_ordinal
en.wikipedia.org
qchu.bsky.social
*how weird definite-but-not-surveyable collections are

like the collection of countable ordinals is truly insanely large, almost all of them are impossible to describe in any fixed ordinal notation, e.g. almost all of them are uncomputable. it's extremely different in character from N
qchu.bsky.social
i haven't thought through this carefully but yeah, i think in this framework aleph_1, or more precisely omega_1 thought of as the collection of all countable ordinals, is definite but not surveyable. in other papers i think he does a good job emphasizing how weird surveyable collections are
qchu.bsky.social
just got on here to quickly scope out the vibes! looks like they're p good
qchu.bsky.social
the quintessential american pastime might be forcing yourself to do things that happy people do spontaneously
qchu.bsky.social
i admire your bravery
qchu.bsky.social
naturally 🥲
qchu.bsky.social
whomst among us tho
qchu.bsky.social
i watched power rangers religiously, starting when i lived in singapore even iirc, but wow watching it with your whole family must've been next level 🥲
qchu.bsky.social
research started in the '50s apparently
qchu.bsky.social
every picture or video of an animal is pretty much universally good, like it's really hard to go wrong with those. the fact that the same isn't true of humans points at some things that i think are very sad
qchu.bsky.social
the version i heard as a kid was about russian to english and it ended up "the vodka is strong but the meat is rotten," this was a strong meme back in the day
qchu.bsky.social
peaceful 🥲
qchu.bsky.social
flesh salad. german is such a beautiful language