Pull to refresh
-1
1.5

Специалист по теории типов USB-кабелей

Send message

Я строго убеждён, что для программиста ответ на вопрос

Зачем это нужно?

очень простой: это не нужно (как и весь остальной теоркат).

А вот для математика (и интересующегося программиста, но он в этот момент тоже такой маленький зачаток математика) это просто ещё одна ступень обобщений, когда нужно больше морфизмов. Собсна:

  • Что такое категория? Это когда есть объекты и морфизмы между ними с такими-то законами.

  • Что, если сказать, что категория — это тоже объект? Как тогда будут выглядеть морфизмы между ними? Ура, мы получили функторы — это морфизмы между категориями (которые, кстати, образуют категорию Cat или не-во-всех-основаниях-категорию CAT, в зависимости от требований малости категорий).

  • Что, если сказать, что функтор [между фиксированными категориями 𝒜 и ℬ] — это тоже объект? Как тогда будут выглядеть морфизмы между ними? Ура, мы получили естественные преобразования — это морфизмы между функторами (которые, кстати, образуют категорию [𝒜; ℬ]).

  • Что, если сказать, что естественное преобразование — это тоже объект? Как тогда будут выглядеть морфизмы между ними? Ура, мы получили модификации. Я не знаком с общепринятым обозначением их категорий.

Что, если перестать тупо строить лестницу в небо и сразу построить замыкание всего этого процесса? Ура, мы получили n-категории, (∞,n)-категории, и прочую подобную хтонь.

✅ Безопасность - гарантия, что преобразование не сломает логику

✅ Композируемость - можно свободно менять порядок операций

✅ Переиспользование - один раз написал, работает для всех типов

✅ Рефакторинг - можно менять контейнеры без изменения бизнес-логики

А вот это всё — это, как говорится, wishful thinking, и в каждом конкретном случае прибегать к аппарату теорката не нужно.

Он не доказал, а обратил ваше внимание.

Так можно про что угодно сказать. «Он не пропагандист, а обращает ваше внимание», «это не адхом, а обращение вашего внимания», «это не заговаривание зубов, а уточнение фокуса внимания», и так далее.

Часто ли вы воспринимаете что-то как доказательство?

Зависит от контекста. Доказательство в файле .agda отличается от доказательства теоремы на бумажке, которое, в свою очередь, отличается от доказательства нечётко определённого тезиса в нечётко описываемых комментариях.

Ваши ссылки, например, доказывают ли для вас самого астрологию?

Мои ссылки доказывают (с учётом вышенаписанного) для меня, что тезис «время рождения влияет на поведение и, следовательно, события жизни» является не только фальсифицируемым (для этого ссылки выше не нужны, собсна), но и имеет ненулевую предсказательную силу.

Ну да, книга — полное дерьмо. Говорю как анкап.

Которые ещё более токсичны. Куча серверов в Mastodon'е не федерируется с серверами, поддерживающими свободу слова («freespeech» — легитимная причина для бана, очень смешно), и немного меньшая куча — с серверами, пусть даже создающими у себя эхо-камеру, но не закрывшими у себя федерацию с freespeech-серверами. Такой вот транзитивный KYC.

Скрытый текст

Статьи с хотя бы минимальной причастностью к текущей политике очень давно перестали быть нейтральными, и биас у них в одну и ту же сторону.

Не стоит этому завидовать, потому что вместе с этим приходят и негативные аспекты. Но это, впрочем, не качалочная история.

нам нужно будет синхронизировать определение здоровяка и причину, почему им нужно быть

Использую определение «здоровый чувак», а не «огромный чувак».

Хотя проходить в дверные проёмы исключительно боком тоже может быть прикольно.

Размер мышц не самый быстрый путь к силе и сила, да поддержат меня пауэрлифтеры, не коррелирует со здоровьем прям один к одному.

Иногда выбрасывающиеся из окон физтеховской Чернильницы (такой высокий учебный корпус) физтехи тоже скажут, что образование не всегда приводит к успеху, но это не значит, что оно заведомо бесполезно.

В любом случае и размер и корреляцию со здоровьем надо бы в каких то цифровых показателях вывести

Muscle Mass Index as a Predictor of Longevity in Older-Adults

In adjusted analyses, total mortality was significantly lower in the fourth quartile of muscle mass index compared to the first: adjusted risk ratio 0.81 (95% confidence interval 0.71 – 0.91) and adjusted hazard ratio 0.80 (95% confidence interval 0.66 – 0.97).

Strength as a Predictor of Longevity: Compelling Evidence

In an excellent meta-analysis of 38 studies (nearly 2 million data points/people), Antonio Garcia-Hermoso et al. [12] reported all-cause mortality was inversely related to grip strength and also that higher knee extension strength was also related to a substantial (14%) decreased risk of death.

(лан, тут strength, но корреляцию мышечной массы и силы вы найдёте без меня, главное — оно положительное)

Implications of Low Muscle Mass across the Continuum of Care: A Narrative Review

Там всё очень плохо, начиная от осложнений от операций и заканчивая раком:

Low muscle is associated with worse prognosis including poorer quality of life and function (108), severe treatment toxicity, more postoperative infections and complications, incidence of hospitalization, longer length of hospital stay, and shorter survival (108110).

The effects of muscle mass and quality on mortality of patients with acute kidney injury requiring continuous renal replacement therapy

Increased skeletal muscle areas/body mass index was associated with decreased mortality risk. We also identified a 26% decreased risk of low attenuation muscle area/body mass index on mortality. We established that muscle mass had protective effects on the mortality of patients with acute kidney injury requiring continuous renal replacement therapy. This study showed that muscle mass is a significant determinant of mortality, even if the density is low.

Про риски у пожилых:

Prevalence and mortality risk of low skeletal muscle mass in critically ill patients: an updated systematic review and meta-analysis

The pooled results showed that critically ill patients with LSMM [low skeletal muscle mass] had a higher risk of mortality than those without LSMM, with a pooled odds ratio of 2.35 (95% CI, 1.91–2.89).

Мышцы — это компенсаторный буфер:

The underappreciated role of muscle in health and disease

Короче, смысл понятен, надеюсь.

а главное их преимущество в этом перед другими видами физической деятельности.

Вы не сможете, потому что это сложная многокритериальная оптимизационная задача. У среднего посетителя качалки нет цели «минимизировать mortality». У среднего посетителя есть цель «оптимизировать комбинацию из вот такенного количества критериев, начиная от mortality, проходя через внимание тяночек и заканчивая способностью поддерживать интерес к упражнениям в устоявшемся режиме» (и лично я, например, к гребле и плаванью неспособен поддерживать интерес в устоявшемся режиме, да и лучше дышать чужим по́том и пердежом, чем глотать хлорку и чужую мочу).

Но, впрочем, вот вам папиры, показывающие причинно-следственный (не корреляционный!) профит resistance training'а. Можете привести в ответ папиры, показывающие более высокий профит гребли:

The Intensity and Effects of Strength Training in the Elderly

Resistance Training and Mortality Risk: A Systematic Review and Meta-Analysis

А есть ресерч показывающий что масса это и есть визуальная привлекательность?

Есть ресёрч, показывающий корреляцию (и там, конечно, U-shaped-зависимость, когда гиперкачок уже воспринимается как фрик, но среднему посетителю качалки это всё равно не грозит). Но я уже выше дал достаточно ссылок, так что предлагаю вам найти его самостоятельно в качестве упражнения.

Потому что не все с этим высказыванием согласны, коль уже привлекательность вопрос вкусовщины, то и надо понять, что имеет в виду эта вкусовщина говоря о привлекательности.

А есть ресёрч, показывающий, что не все с этим высказыванием согласны?

Здесь же и возможный ответ - может быть и стоит эти усилия потратить на решение первичной психологической проблемы? Но то такое. Но плавание емнип до 900кк/час дает энергозатраты, там мало что с этим способно тягаться, давая отличный внешний вид и полезный прикладной навык. Альпинизм и горный туризм дают там чуть не до 6000 кк/день и если и надо похудеть красиво, с видами, за недельку и в хорошей компании - то это однозначно туда - килограмм за день как с куста слетать будет.

Вопрос в том, насколько хорошо это вписывается в ваш стиль жизни.

Плаванье меня слишком выматывает, и я не могу плавать час, это тупо скучно. На кардио на дорожке хотя бы планшет с книжкой или лекцией можно перед собой поставить и не тратить время.

Когда мне последний раз нужно было плавать — не вспомню. Никогда, наверное? И, думаю, что никогда не нужно будет.

Куда-то там на неделю ехать — не, это я тоже представить себе не могу.

Из встречной любви к искусству отвечу так же, что нет, это приобретенные проблемы

«Нет, это также могут быть приобретённые проблемы» тогда уж.

Поэтому мои выводы для себя - зеркало в зале, внешний вид, формы мышц, постеры все эти, маечки в облипку - очень сладкое, очень падкое зло.

Так а зло-то в чём?

Впрочем, у меня есть некоторая аллергия к демонстративности и нефункциональности, поэтому я вполне доволен, что мои мышцы прикрыты некоторым количеством жира, и сбрасывать его не собираюсь.

Вопрос из праздного любопытства: а когда предыдущий раз Вы вешали потолочный вентилятор и когда в следующий раз собираетесь его вешать?

В предыдущий — никогда, потому что в предыдущий раз я его подержал над головой, примеряясь, и понял, что да ну нахрен.

В следующий — мне надо бы заменить у себя дома ещё шесть потолочных вентиляторов.

А была ли возможность вешать в позиции, не напрягающей так одну не самую большую специфичную мышцу, а в позиции когда на некрупные мышцы не идет большой нагрузки? Думали ли Вы о такой возможности?

Даже если была, то придумать не смог. Но да, думал.

И если ответ "нет не думал, не знаю была ли" - то вот это именно то, о чем я говорю - сотни часов за тренажерами на "одну изолированную группу мышц" отрафируют общее кинетическое мышление напрочь.

Отмечу из любви к искусству, что если бы ответ был как ожидаемый вами, то это едва ли что доказывало бы, потому что, судя по первой моей фразе в этом комментарии, проблемы с таким мышлением были бы и до сотен часов за тренажерами.

Хорошо, что режет.

В рассуждениях вера появилась где-то с 2020-го, когда очень много людей здесь (да и везде) стало экспертами по науке, научности, научному методу, а иногда даже по теореме Байеса.

На практике всё выливается в веру импозантно выглядящим людям в белых халатах и очках (вместо импозантно выглядящих людей в чёрных халатах и бородах), поэтому это та же религия, вид сбоку.

А если вам режет конкретно «вера в религию» вместо «вера в $religionname», то это ещё лучше, потому что большинство верующих в (какую-то конкретную) религию не знакомо с ключевыми положениями своей религии, и это превращается действительно в веру в религию-как-феномен.

ваше главное исследование

Нет, оно не главное. Оно одно из многих.

Где такие условия в 2025 году? Сейчас в развитых странах: круглогодичный доступ к любым продуктам, отопление, кондиционеры, пренатальные витамины, медицинское наблюдение беременности.

Никто не доказал корреляцию между загрязнённостью питьевой воды и болезнями (а также чистоту условий рождения детей и помытыми руками акушерки и детской смертности), потому что в развитых странах никто не пьёт из луж и все моют руки.

Вам с таким отношением к философии науки пора книги писать, будете в одном ряду с Поппером.

И, кстати, это даже если принять, что доступ действительно к любым продуктам (это не так), отопление действительно эффективное и дешёвое и люди им пользуются из всех слоёв населения (это не так), кондиционеры есть (совсем не так), витамины и наблюдение беременности (совсем не так).

Кстати, чисто в порядке лулзов (потому что я люблю американскую оружейную культуру и не люблю европейский снобизм):

кондиционеры

According to the WHO, extreme heat causes over 175,000 deaths every year across Europe. In comparison, around 48,000 Americans died from gun-related injuries in 2021, per CDC data. That means heat in Europe is claiming more than 3x the lives guns do in the U.S. - every single year. Experts say Europe’s aging population, urban heat islands, and lack of widespread air conditioning all play a role.

(хотя тут, конечно, надо помнить, что население в Европе в два раза больше, чем в Штатах, поэтому это 3x надо делить на два)

Или

Environmental Regulations Are Literally Baking Europeans to Death

Если бы ваш механизм работал, то астрология должна была бы различаться между полушариями (в Австралии знаки наоборот?).

Абсолютно верно. И даже между странами. И даже между отдельными регионами в них.

Но, впрочем, в те времена, когда это могло быть наиболее эффективным локальным знанием по Фейерабенду (или, например, чем-то вроде metis, на которое ссылается Скотт в Seeing like a state), большинство людей в Берлине не могло ничего знать про мнения людей в Австралии, и, думаю, значимая часть людей не факт что знала про существование Австралии, и где она там находится.

Астрология должна была бы не работать в развитых странах после 1950-х годов.

Нет. Просто корреляция оказывается слабее.

Хотя вон европейцы до сих пор готовы помирать во имя заботы о природе (потому что кондиционеры — это недостаточно зелено), так что хз. И доступ к фруктам по-прежнему сезонный. И болезни вроде банального гриппа по-прежнему сезонные. И даже настроение матери по-прежнему сезонное.

Когда люди высокого ранга в изолированных силовых или фитнесе проигрывали обычному среднестатистическому взятому с улице ноунейму допустим на лыжах или легком альпинизме.

А в чём прикладной смысл лыж или лёгкого альпинизма? :]

Парадоксальность ситуации заключается в том, что для подъема условных 16 кг не нужен бицепс, поднимающий отдельно в изоляции эти 16 кг. Этот пуд можно поднять двумя руками, можно с помощью коленки, можно даже с помощью рычага и большей амплитуды движений, можно активно включая ноги (и даже нужно)

Просто поднять 16 кг обычно недостаточно. Их ещё нужно куда-то отнести или что-то с ними сделать.

У меня есть, например, раскладная железная лестница, которая не знаю сколько весит. Раньше её нужно было таскать двумя руками и закинув на грудь (отклонившись назад). Сейчас я могу её взять и поднять одной левой правой рукой и нести так в руке, и практически не чувствовать этой нагрузки.

В первый раз это было, кстати, очень прикольно: лестница мне понадобилась после долгого периода ничегонеделанья по дому, я её поднял, уж по привычке собрался закинуть на себя и кряхтеть, и… оказалось, что не нужно. Она внезапно стала почти невесомая.

Нужно сделать вид здоровяка?

Нужно быть здоровяком.

Какие то плюсы к здоровью неочевидные, на что надо тратить столько усилий?

Размер мышц коррелирует с силой, сила коррелирует со здоровьем.

Resistance training помогает компенсировать потерю кальция из костей.

Компенсация комплексов?

Далеко не только.

Есть просто даже ресерч, показывающий, что визуально привлекательные люди успешнее — условно, больше шанс получить сочный оффер после интервью.

Плюс, если у вас перед вами в зеркале и на периферии зрения всё время маячит результат ваших усилий и пруф вашей возможности сфокусироваться на деле на несколько лет, то есть шанс, что и в других областях вы будете вести себя аналогично, почувствовав вкус и профиты от контроля за своей собственной жизнью, и взяв эту самую собственную жизнь в свои руки.

В чем состоит целесообразность процесса набора мышечной массы, которая как мне кажется сама по себе пассив требующий постоянного внимания?

Кстати, да, калорий мышцы тоже больше жрут. С мышцами можно столько же есть и набирать меньше жировой массы — это может быть психологически проще, чем снизить потребление еды.

Ну так и ваш исходный собеседник просто обоснуется в той версии авторитаризма, где взгляды более-менее совпадают с местными.

С трудом понимаю где в прикладной области может понадобится подъем тяжести на трицепс из за головы. Где, при каких условиях отличных от лабораторных от него есть смысл? Тяжесть поднимают над головой толчком, каков процесс максимально досконально уже разобран как наиболее оптимальный.

На днях вешал потолочный вентилятор и ощутил, какой смысл в трицепсах (а также в передних/боковых дельтах и подобных).

Но, впрочем, не поднимаю тяжести из-за головы, юзаю специальный тренажер на tricep extension.

А с чего у вас там велосипед недоступен половину года? Тепловой удар можно получить?

Да.

Ну и ещё конкретно у нас тупо нет консистентных велосипедных дорожек (они иногда возникают ниоткуда и пропадают туда же), поэтому ты тут либо велосипедераст, гоняющий по пешим трейлам, либо ездишь по дорогам общего пользования, надеясь, что и в этот раз тебя не собьют.

Я заметил, что если не занимаюсь физической активностью, то у меня дико падает производительность из-за ухудшения самочувствия. Поэтому эти часы в неделю очень даже оправданы.

Это ещё что, я вот даже за питанием следить стал! Скоро, того и гляди, начну есть больше одного раза в день.

Верните, короче, мне мои 17 лет, когда я мог спать 3 часа в сутки, не двигаться, есть трэш и при этом думать, что быть продуктивным.

Самое ироничное, что если вы начнёте быть против мигрантов и ЛГБТ в ряде стран Европы, то вам там тоже ответочка будет весьма непропорциональная (начиная, конечно, с Британии, но заканчивая и Германией, например, где семеро политиков AfD из избирательных списков передали бы привет, если бы могли, но увы — как-то все резко померли за месяц).

Я сам за демократию, но все больше с интересом наблюдаю за китайцами и начинаю менять свое мнение по поводу авторитарных стран.

Если начать разделять экономический авторитаризм/либерализм и политический авторитаризм/либерализм (а также неолиберализм, потому что современные политические либералы к идеалам революционной Франции и Штатов 18-го века имеют примерно нулевое отношение), то формировать описывающее реальность мнение будет куда проще, потому что такое разделение даст вам все нужные степени свободы.

Камон, зачем вообще их измерять, почему просто не тренироваться ради удовольствия, ведь это просто кайф? Вся статья фитнесинфоцыганство какое-то, людям навязывают бессмысленные и вредные цели.

Потому что это не для всех кайф, и если кому-то для поддержания вовлечённости нужны циферки, геймификация или тому подобные вещи, то пусть хоть окружности бицухи каждый день измеряет, почему нет?

Я ненавижу тренажерку, ненавижу туда ходить, ненавижу там тягать веса, и так далее. С куда большим удовольствием я бы эти шесть часов в неделю (плюс ещё шесть между тренажеркой и сном) сидел бы дома, читал бы книжки, писал бы код или ковырял бы в носу вообще. Но у меня есть табличка, я туда заножу, сколько чего наподнимал сегодня, и можно на эту табличку и растущие в ней циферки смотреть и продолжать ходить.

Бассейн, если что, я тоже не люблю, хайкинг и велосипед недоступен половину года (и на них было бы ещё печальнее), как и все прочие подобные альтернативы.

Эм, у нашей планеты два полушария. Когда в Европе зима в Австралии лето и наоборот.

Я где-то написал про зависимость только от месяца рождения?

Вы сами себе что-то придумали, сами с этим поспорили, сами себе доказали… правда, непонятно, что доказали.

И вообще никто не доказал корреляции между
> с условиями, в которых был материнский организм во время беременности
> с особенностями вашего поведения.

Hungry in the womb: what are the consequences? Lessons from the Dutch famine:

An increasing body of evidence suggests that poor nutrition at the very beginning of life - even before birth - leads to large and long term negative consequences for both mental and physical health. This paper reviews the evidence from studies on the Dutch famine, which investigated the effects of prenatal undernutrition on later health. The effects of famine appeared to depend on its timing during gestation, and the organs and tissues undergoing critical periods of development at that time. Early gestation appeared to be the most vulnerable period. People who were conceived during the famine were at increased risk of schizophrenia and depression, they had a more atherogenic plasma lipid profile, were more responsive to stress and had a doubled rate of coronary heart disease. Also, they performed worse on cognitive tasks which may be a sign of accelerated ageing. People exposed during any period of gestation had more type 2 diabetes. Future investigation will expand on the finding that the effects of prenatal famine exposure may reach down across generations, possibly through epigenetic mechanisms. Recent evidence suggests that similar effects of prenatal undernutrition are found in Africa, where many are undernourished. Hunger is a major problem worldwide with one in seven inhabitants of this planet suffering from lack of food. Adequately feeding women before and during pregnancy may be a promising strategy in preventing chronic diseases worldwide.

Prenatal developmental origins of behavior and mental health: The influence of maternal stress in pregnancy:

Accumulating research shows that prenatal exposure to maternal stress increases the risk for behavioral and mental health problems later in life. This review systematically analyzes the available human studies to identify harmful stressors, vulnerable periods during pregnancy, specificities in the outcome and biological correlates of the relation between maternal stress and offspring outcome. Effects of maternal stress on offspring neurodevelopment, cognitive development, negative affectivity, difficult temperament and psychiatric disorders are shown in numerous epidemiological and case-control studies. Offspring of both sexes are susceptible to prenatal stress but effects differ. There is not any specific vulnerable period of gestation; prenatal stress effects vary for different gestational ages possibly depending on the developmental stage of specific brain areas and circuits, stress system and immune system. Biological correlates in the prenatally stressed offspring are: aberrations in neurodevelopment, neurocognitive function, cerebral processing, functional and structural brain connectivity involving amygdalae and (pre)frontal cortex, changes in hypothalamo-pituitary-adrenal (HPA)-axis and autonomous nervous system.

Stress during critical periods of development and risk for schizophrenia

A critical view on transgenerational epigenetic inheritance in humans [это скорее ради дальнейших ссылок]

Дальше мне надоело постить не только абстракты, но и сами ссылки — у меня таких штук 20 сходу наберётся. Но, надеюсь, четырёх вам будет достаточно.

Зачем вы лезете в обсуждения вещей, в которых вы ничего не понимаете, и даже не понимаете, насколько вы не понимаете? Вы даже не понимаете на метауровне, чем вы отличаетесь от верящих в религию и «я где-то слышал, что батюшка сказал». Это просто фрактал непонимания.

Вера в науку продолжает интенсифицироваться.

Information

Rating
1,597-th
Registered
Activity