The 20 Year Old Proover

THE 20 YEAR OLD PROOVER "Not to be pedantic, but could you make this more rigorous?" Tells himself he's appreciating the beauty of higher mathematics; is actually just driven by finding a supremely respectable way of validating his enormous innate superiority complex Studies category theory just to formalize set theory Thinks knowing the definition of "homotopy" validates his parasitic existence Calls < "the unique total order defined on RxR such that for all pairs (x,y) ..." "Have you seen the proof that 1+1=2?" Thinks converting math into set theory somehow makes it more valid Writes 10 pages of LaTeX for every problem he's given, no matter how simple or trivial Makes fun of engineers; in reality is wasting his life on what is useless, self-indulgent abstraction Won't study anything unless it has absolutely no applications whatsoever "I hate theoretical computer science, it's so hand-wavey" Hasn't done an ounce of manual labor in his life Thinks formalizing intuitions changes his epistemic justification for accepting them

Мем изображает лысого очкарика-математика в окружении учебников по высшей математике. Подписи высмеивают молодого «доказывателя», который превращает любую простую задачу в чрезмерно формальную конструкцию и гордится бесполезной абстракцией. Его отправляют как реакцию на занудство, псевдоинтеллектуальность и попытки сделать простые вещи неоправданно сложными.

• @profunctor_io / 8585 2023-01-15
• @dev_meme / 5118 2023-04-12
• @right_wing_dev_squads / 8151 2023-11-23