https://x.com/search-advanced
waouw

I feel like I actually have cross posted a bunch of them here lol
should I start a thread too

🐦 I see why so many grad students go bouldering now. It's all about making up hard problems and then failing to solve a bunch of them

🐦 Coq isn't allowed to call itself a pure functional programming language if I can move a piece of code from one part of my file to another and suddenly get universe inconsistency errors

this one was back when ppl were arguing about whether induction stoves were sufficient. something about woks

🐦 dwayne "the rocq" johnson

[quote tweeting the image attached]
🐦 Implying that PhD students need to undergo a grueling process of fermentation and distillation to remove their impurities before obtaining their doctorates

🐦 "nat 20" oh? you mean (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 (𝚂 𝚉))))))))))))))))))))?

this one's for the gradual typists out there

🐦 In an effourt to further rebel against Americanized spellings I will be adding even moure U's to where there noune. Liquour stoure

🐦 there are enough paths. i've had enough. no more paths