Я не знаю, что такое «аффектить», но если имелось в виду «влиять на» — то никак. В рантайме хаскеля (и подавляющего большинства строго типизированных языков) — никаких типов нет из-за type erasure, которую придумали как раз ради повышения производительности.
Совершенно очевидно, что типизация влияет на производительность, потому что если типы не проверены в компилтайме, то эквивалентные им рантайм-метки придётся проверять, собственно, в рантайме (если ваш язык собирается давать хотя бы минимальную дружественность к разработчику).
Если у вас написано a + b, и в вашем языке + может означать сложение и intов, и doubleов, и строк, и shortов каких-нибудь, и тензоров из вашей любимой библиотеки, то вам надо будет в рантайме проверять конкретную метку a, конкретную метку b, иметь if с логикой для конвертации в какой-то общий тип, и только потом суммировать. Компиляция с типами же всё это делает в компилтайме, и в рантайме остаётся только условный ассемблерный addword или call stringConcat. Более того, если это происходит в компилтайме, то открываются возможности для оптимизации после такого инлайнинга.
И именно поэтому когда в хаскеле типы таки не стираются (например, компилятор не мономорфизирует полиморфную функцию с типом Num a =>, вместо этого таская набор указателей на функции, коим является словарь Num a под капотом, или у вас там экзистенциальный тип затесался где), то всё это может работать медленнее на порядок-полтора.
Там было упомянуто ещё восемь книг. Никакие из них не являются нормальными университетскими учебниками, по-вашему?
Кстати, что вместо Bird'а посоветуете? Меня раздражает, что там в упражнениях есть существенные ошибки — например, особенно впечатлило предложение с дающимся там уровнем теорката доказать, что категория функторов A^B имеет экспоненциалы, если A декартово замкнута. Это перебор, ибо известное мне по более категориальным текстам построение требует ко-Йонеду и enriched category theory, а в предлагающихся автором решениях ответ очевидно неправильный. Тем не менее, более хорошего текста, связывающего «абстрактный нонсенс» и вполне себе живое программирование, я не видел.
Угу. Логично и оправдано прямо как «свобода — это рабство» или «война — это мир».
И второй раз за последние пару недель мне в этом контексте апеллируют к авторитету (совершенно того не заслуживающему, кстати). Вы читали Поппера? Я читал, к сожалению, и внимательно. В the open society and its enemies (ученики Поппера в London School of Economics почему-то называли это the open society by one of its enemies, шутя лишь наполовину) он этот парадокс постулирует, но никак не обосновывает, кроме как на уровне «если все хорошие люди соберутся и убьют всех плохих, то всем будет хорошо». Кто решает допустимый уровень толерантности или свободы — не даётся. Как решать очевидные конфликты этого внутренне противоречивого изречения — не показывается.
Там, впрочем, вся книга такая, полная wishful thinking'а и «надо просто захотеть и поверить в Человека», и хорошего в ней только анализ Платона с необычной (для меня, по крайней мере) стороны.
Ну или, чуть конкретнее: призывами к неограниченной толерантности вы нарушаете мою свободу ассоциации, следовательно, вы враг свободы, следовательно, вам никакой свободы. Нравится?
А какие противовесы по-вашему есть против судейских злоупотреблений?
Или, наводящий вопрос: почему судебная и исполнительная власть разделена хотя бы формально в большинстве конституций тех стран, которые мы привыкли считать примерами либеральной демократии? Почему бы не наделить судебную власть исполнительными функциями: решил судья там что-то, потом взял и пошёл исполнять?
Задачей со звёздочкой будет вопрос о нежелательности наделения судебной власти возможностью писать законы (что де-факто происходит при судейском активизме), но это следующий вопрос.
Извините, я ссылался на мем про i support the current thing без общепринятого перевода, и не хочу, чтобы вы восприняли это как конкурс на знание английских слов.
По мнению нескольких человек, это характеризует человека.
Это даже по моему мнению его характеризует (в конце концов, любое высказывание несёт некоторую информацию о высказывающем). Мы лишь расходимся в том, что именно там характеризуется.
Никто не говорил о латентности, вариантов может быть масса.
Окей, положим. Тогда вот здесь:
Мы же понимаем, что все вокруг сделают некоторые выводы об этом коллеге? Вы будете спорить с тем, что подобное "словесное гадство" определенным образом характеризует человека?
какие выводы все вокруг сделают, да настолько предсказуемые, что о них можно умалчивать и намекать косвенно, и которые не зависят от собственных ценностей окружающих (раз эти выводы сделают «все вокруг») и поэтому не могут являться оценочным суждением говорящего?
Кстати, про «никто не говорил» прямое враньё, потому что вы же писали:
или боящиеся признаться (и страдающие от этого)
— это не латентность?
Странно, конечно, что приходится в это погружаться и объяснять, но если у "тру гаражных мачо мужчин" высмеивая про геев это называется "глиномесом", то внезапно, анальный секс с женщиной, который каждый из этих мужчин со своей дамой хотел бы попрактиковать, вдруг "глиномесом" не считается? Это внезапно становится "другой психологической коннотацией" и чем-то чистым с фиалками?
Но вот странно, что с женщиной у этих же мужчин это вдруг "глиномесом" не считается.
Ничего странного, если попытаться понять, что акцент не на способе, а на комбинации полов.
Когда люди обзываются, то выбор слова для обзывания максимизирует не внутреннюю логику и консистентность обзывающего, а усреднённый эмоциональный эффект что от самого обзывания (и у обзываемого, и в референтной группе обзывающего), что от реакции на обзывание. Поэтому, кстати, слова для обзываний относительно стабильны и общеприняты, и даже условный вы, не входящий в группу тру гаражных мачо-мужчин, можете безошибочно распознать их негативные коннотации.
По совершенно аналогичным причинам школьный задира называет зубрящего школьные предметы одноклассника «ботаником», хотя сам дома не меньше штудирует биографии и серии игр любимого футбольного клуба (или прохождения игр, неважно). Причины самой потребности обзывать, впрочем, другие.
Вот ведь, кстати, пердимонокль — «приходится объяснять» пишете вы, а приходится объяснять мне.
Заметки в личном репозитории, и они достаточно краткие, чтобы едва иметь смысл для кого-то ещё. Так, отсылки и ключевые слова, позволяющие восстановить более-менее полную мысль.
По нью-йоркским законам я на работе обязан (агрессивное навязывание) использовать выбранные коллегой местоимения, даже если они очень сильно расходятся с его самопрезентацией, и бородатый отроду мужик называет себя she/her (девиация).
Далее, из сохранённых мной ссылок по тегам #sjw и #trans:
Icelandic Politician Under Police Investigation For Social Media Posts Criticizing Gender Ideology, Male Breastfeeding. via(кстати, заодно европейскую свободу слова подвезли)
Influential doctor Johanna Olson-Kennedy, who believes in “adolescent gender treatments”, is refusing to publish the results of a study that was funded by millions of dollars from taxpayers. Why? Because the study found that giving puberty blockers to children does not help them. via
LGBTQ activists speak out against SB1414, a California bill which would make it a felony to purchase children for sex. They claim it will affect LGBTQ people more. via
Less than a year since the massive @Target pride kids fiasco, they're selling a children's book entitled "The Hips on the Drag Queen Go Swish, Swish, Swish." via
An investigation by @TheMaineWire reveals new disturbing information about the trans student (male) who violently assaulted a female classmate at the bus stop in Maine while staff hesitated to intervene. The trans student struck the victim in the head with a steel water jug, gnawed on her eye, and smashed her head into the concrete. It's also being reported that the trans student had a history of sexuaI harassment at a previous school where he took pictures of other students in the girls' restrooms and even masturbated. via
Two Christian families are suing the Vermont Department for Children & Families, represented by @ADFLegal, accusing the state of blocking them from fostering due to their religious views on gender. via
A male who identifies as transgender brutally assaulted a female student at Pennbrook Middle School in PA. One girl who said she was "second on [his] hit list" told the school board that she had begged for help HOURS before the attack, but teachers did nothing. via
The highly-regarded paediatrician who conducted the most thorough review ever undertaken on the medical evidence for transitioning gender-confused children has been advised not to travel on public transport for her own safety. via
Teen identifying as transgender charged for planning mass shooting in Maryland kept disturbing 'manifesto' via
I’ve been informed that the school called the police on the mom who sounded the alarm about this teacher. They claimed they felt unsafe. The police called the mom and tried intimidating her into silence. She told me she will never stop speaking up to protect her children! She did nothing wrong! We reached out to the school to ask why they called the police on a concerned mom and they said it was to make them “aware” that an employee was being “targeted” and advise them about my post. via
Или вот массшутерша в Нэшвилле идентифицировала себя как мужчину (девиация) и устроила массшутинг в околоцерковной школе из-за ненависти к цисгендерам (агрессивное навязывание) судя по её утёкшему манифесту. Который, кстати, долгое время цензурился и не выпускался/подтверждался официально ФБР (агрессивное следование повесточке).
53-х подобных вещей, попавшихся мне на глаза и которые мне не лень было минимально проверять и сохранять, и охватывающих весь спектр от действий отдельных личностей (вроде массовых расстрелов) через избирательное правоприменение до государственного преследования.
Это не про вас конкретно, но мой личный опыт показывает, что говорящие в таких контекстах «никого нельзя щемить» люди в других, удобных им контекстах говорят «никакой свободы врагам свободы».
Какое-то инфантильное представление о мире в терминах «есть только я, и я хочу».
Дело в том, что мужчине, уверенному в себе и своих влечениях, никому ничего доказывать не нужно. А неуверенные или неопределившиеся, или боящиеся признаться (и страдающие от этого) или с какими-то сексуальными проблемами (даже гетеросексуальными), всячески пытаются подобными фразочками всем вокруг непременно показать, что раз они высмеивают используя фразы про "глинозём"
Дело в том, что человеку, уверенному в себе и вакцине, никому ничего доказывать не нужно. А неуверенные или неопределившиеся, или боящиеся признаться, всячески пытаются подобными фразочками всем вокруг непременно показать, что раз они высмеивают «антиваксеров», «ковидиотов»… а, тьфу ты, простите, у меня опять методички расплелись и листы перепутались. Попробую ещё раз.
Дело в том, что человеку, уверенному в своей политике и демократии, никому ничего доказывать не нужно. А неуверенные или неопределившиеся, или боящиеся признаться, всячески пытаются подобными фразочками всем вокруг непременно показать, что раз они высмеивают «ватников», «15-рублёвых», «альтрайт-реднеков»… да ё-моё, опять не в том порядке собрал.
Есть поведения, которые выгодны [по мнению Васи] социуму, а есть — невыгодные. Один из способов управлять ими и максимизировать профит в масштабах социума — хвалить за выгодные [снова по мнению Васи, здесь и дальше я это подразумеваю и более не пишу явно] социуму поведения и шеймить за невыгодные. Родил троих детей — малацца, воспитал их хорошими членами общества — ваще супер. Избегаешь вакцин — наносишь урон коллективному иммунитету и всё прочее ⇒ антиваксер тупорылый. Ожирение — больше риск болезней, больше шанс занять место в социальной больничке, больше углекислоты вырабатывается от перевозки твоей задницы, больше ковидных частиц в выдохе, в конце концов ⇒ жиртрест, жиробас, и так далее. Предпочитаешь людей своего пола — не рожаешь своих детей, статистически имеешь на порядок больше партнёров и имеешь больший риск всяких ЗППП ⇒ глиномес. (С уважением, ваш мужчина, чайлдфри, ранее бывший жиробасом, и уверенный в своей волцельности.)
В частности, например, когда несколько лет назад были все шансы получить эпидемию monkeypox'а (распространяющегося в основном среди геев men having sex with men), соответствующий шейминг — это более чем социально адекватное поведение.
Поэтому сводить всё к «да ты просто сам латентный, азазаза)))», во-первых, далековато от истины, а, во-вторых, не приведёт вас к успеху в переубеждении вашего собеседника. К успеху бы привёл разбор социальных аспектов и последствий его воззрений, но это задача, за которую никто не берётся на практике.
Ну и немножко статистики вам: 35-40% гетеросексуальных мужчин имеют опыт анального секса со своими женщинами. А геев по статистике на планете ~3-7%. Сами сможете теперь сделать выводы, в какой группе чаще. Или "это другое"?
Это неиронично другое (если вы про мужчин в активной роли, а не про страпон, хотя и там есть нюансы), потому что, сходу:
анальный секс с женщиной не отменяет вагинальный, тогда как вагинальным сексом двум мужчинам заняться трудновато,
анальный секс с женщиной имеет другие психологические и сексуальные коннотации, не противоречащие возбуждению от женщин,
особенности распределения жира на мужском и женском теле дают сильно разный визуальный и психологический фидбек.
Иными словами, сводить всё к конкретной дырке настолько однобоко, что это даже несерьёзно. Вас же не смущает, что кому-то приятно смотреть на девушек в лосинах, делающих приседы в тренажерке, а на мужчин — не очень?
И я не сомневаюсь, что есть подмножество мужчин, которые с женщинами этсамое в попку только потому, что им на самом деле хочется мужчин, а тут и с девушкой повезло (ну или «повезло», если на мой вкус), когда она вся такая худенькая стройненькая попка плосконькая, но я не думаю, что это все ваши 35-40%.
Зависит от того, что вы хотите. Если хотите социального одобрения, чтобы люди любили и карма росла — вертите диван в сторону того телевизора, который показывает принятые в данном социуме картинки (а Соловьёв там или Joy Reid — дело десятое).
Здесь вот поступила разнарядка хейтить Маска — всё, хейтим Маска.
Я как-то в окрестности детского сада камни красивые собирал и попытался их домой принести, так мне люлей дали. Так что с натуральными числами в том возрасте тоже тяжко.
В матрицах и векторах считать на индексах не нужно. Вы вообще могли бы договориться называть компоненты трёхмерного вектора x как x_q, x_α, x_з, и в семантике бы ничего не изменилось (особенно на школьном или начально-вузовском уровне). Даже разные формулы вроде скалярного произведения выглядели бы так же — xy = x_q y_q + x_α y_α + x_з y_з, или, сокращённо, xy = Π x_i y_i, где i пробегает по элементам { q, α, з }.
Единственная причина начинать в векторах-матрицах счёт с единицы — чтобы не таскать в нотации «минус один» у последнего компонента n-мерных векторов. Выглядит стрёмно.
А вот там, где считать нужно (количество возведений в степень в рядах и многочленах, например) — там счёт с нуля.
Из них, вообще говоря, можно предположить, что включение нуля в множество натуральных чисел является признаком профессиональной деформации дискретных математиков и программистов.
Ну, да, там, где числами надо считать, а не просто использовать их как бесконечное индексное множество, выходит, что наличие нуля полезно.
Правда, непонятно, причём тут какие-то деформации.
прямо сейчас читаемая мной Bird'овская Algebra of Programming
включает ноль
Riehl в своей Category Theory in Context
включает ноль
(кстати, обратите внимание — нумерация последовательности с нуля), и в других местах ссылается на множество натуральных чисел как на моноид (по сложению), что требует нуля.
Goldblatt в Topoi тоже включает ноль, например, на с. 29:
Continuing even further we can consider the infinite collection ω ={0, 1,2, 3 , . . . } of all natural numbers [...]
и в других местах предполагает, что ноль входит в натуральные числа.
Формулировка упражнения 8 на с. 21 в Маклейне
включает ноль
Jacobs в Categorical Logic and Type Theory в поясняющем примере во введении предполагает ноль натуральным числом:
one can distinguish between zero as a natural number 0:N and zero as a real number 0:IR
Верещагин-Шень в «Лекциях по математической логике и теории алгоритмов» пишут (том 1, с. 7):
[...] где N — множество натуральных чисел {0, 1, 2, . . .}.
Там же:
Отметим кстати ещё два расхождения: в школе натуральные числа начинаются с единицы, а в некоторых книжках — с нуля (мы тоже будем называть нуль натуральным числом).
Успенский-Верещагин-Шень в «Колмогоровской сложности и алгоритмической случайности» тоже предполагают, что 0 — натуральное число (следует из изложения, нет сходу кратких цитат).
Flori в A First Course in Quantum Topos Theory говорит (с. 37):
Examples of monoids are (N, +, 0) [...]
что подразумевает включение нуля в множество натуральных чисел.
Aluffi в Algebra: Chapter 0 пишет
N: the set of natural numbers (that is, nonnegative integers)
что включает ноль.
Продолжать, или хватит?
Отмечу, что ни в одной из сходу открытых книг в моей библиотеке не было использования натуральных чисел с единицы.
Совершенно очевидно, что типизация влияет на производительность, потому что если типы не проверены в компилтайме, то эквивалентные им рантайм-метки придётся проверять, собственно, в рантайме (если ваш язык собирается давать хотя бы минимальную дружественность к разработчику).
Если у вас написано
a + b, и в вашем языке+может означать сложение иintов, иdoubleов, и строк, иshortов каких-нибудь, и тензоров из вашей любимой библиотеки, то вам надо будет в рантайме проверять конкретную меткуa, конкретную меткуb, иметьifс логикой для конвертации в какой-то общий тип, и только потом суммировать. Компиляция с типами же всё это делает в компилтайме, и в рантайме остаётся только условный ассемблерныйaddwordилиcall stringConcat. Более того, если это происходит в компилтайме, то открываются возможности для оптимизации после такого инлайнинга.И именно поэтому когда в хаскеле типы таки не стираются (например, компилятор не мономорфизирует полиморфную функцию с типом
Num a =>, вместо этого таская набор указателей на функции, коим является словарьNum aпод капотом, или у вас там экзистенциальный тип затесался где), то всё это может работать медленнее на порядок-полтора.Там было упомянуто ещё восемь книг. Никакие из них не являются нормальными университетскими учебниками, по-вашему?
Кстати, что вместо Bird'а посоветуете? Меня раздражает, что там в упражнениях есть существенные ошибки — например, особенно впечатлило предложение с дающимся там уровнем теорката доказать, что категория функторов A^B имеет экспоненциалы, если A декартово замкнута. Это перебор, ибо известное мне по более категориальным текстам построение требует ко-Йонеду и enriched category theory, а в предлагающихся автором решениях ответ очевидно неправильный. Тем не менее, более хорошего текста, связывающего «абстрактный нонсенс» и вполне себе живое программирование, я не видел.
20 минут в день на ленивый скроллинг и проверку под потребление еды.
Заодно меньше кушать хочется, проблем с лишним весом не будет.
Угу. Логично и оправдано прямо как «свобода — это рабство» или «война — это мир».
И второй раз за последние пару недель мне в этом контексте апеллируют к авторитету (совершенно того не заслуживающему, кстати).
Вы читали Поппера? Я читал, к сожалению, и внимательно. В the open society and its enemies (ученики Поппера в London School of Economics почему-то называли это the open society by one of its enemies, шутя лишь наполовину) он этот парадокс постулирует, но никак не обосновывает, кроме как на уровне «если все хорошие люди соберутся и убьют всех плохих, то всем будет хорошо». Кто решает допустимый уровень толерантности или свободы — не даётся. Как решать очевидные конфликты этого внутренне противоречивого изречения — не показывается.
Там, впрочем, вся книга такая, полная wishful thinking'а и «надо просто захотеть и поверить в Человека», и хорошего в ней только анализ Платона с необычной (для меня, по крайней мере) стороны.
Ну или, чуть конкретнее: призывами к неограниченной толерантности вы нарушаете мою свободу ассоциации, следовательно, вы враг свободы, следовательно, вам никакой свободы. Нравится?
А какие противовесы по-вашему есть против судейских злоупотреблений?
Или, наводящий вопрос: почему судебная и исполнительная власть разделена хотя бы формально в большинстве конституций тех стран, которые мы привыкли считать примерами либеральной демократии? Почему бы не наделить судебную власть исполнительными функциями: решил судья там что-то, потом взял и пошёл исполнять?
Задачей со звёздочкой будет вопрос о нежелательности наделения судебной власти возможностью писать законы (что де-факто происходит при судейском активизме), но это следующий вопрос.
Извините, я ссылался на мем про i support the current thing без общепринятого перевода, и не хочу, чтобы вы восприняли это как конкурс на знание английских слов.
Это даже по моему мнению его характеризует (в конце концов, любое высказывание несёт некоторую информацию о высказывающем). Мы лишь расходимся в том, что именно там характеризуется.
Окей, положим. Тогда вот здесь:
какие выводы все вокруг сделают, да настолько предсказуемые, что о них можно умалчивать и намекать косвенно, и которые не зависят от собственных ценностей окружающих (раз эти выводы сделают «все вокруг») и поэтому не могут являться оценочным суждением говорящего?
Кстати, про «никто не говорил» прямое враньё, потому что вы же писали:
— это не латентность?
Ничего странного, если попытаться понять, что акцент не на способе, а на комбинации полов.
Когда люди обзываются, то выбор слова для обзывания максимизирует не внутреннюю логику и консистентность обзывающего, а усреднённый эмоциональный эффект что от самого обзывания (и у обзываемого, и в референтной группе обзывающего), что от реакции на обзывание. Поэтому, кстати, слова для обзываний относительно стабильны и общеприняты, и даже условный вы, не входящий в группу тру гаражных мачо-мужчин, можете безошибочно распознать их негативные коннотации.
По совершенно аналогичным причинам школьный задира называет зубрящего школьные предметы одноклассника «ботаником», хотя сам дома не меньше штудирует биографии и серии игр любимого футбольного клуба (или прохождения игр, неважно). Причины самой потребности обзывать, впрочем, другие.
Вот ведь, кстати, пердимонокль — «приходится объяснять» пишете вы, а приходится объяснять мне.
Заметки в личном репозитории, и они достаточно краткие, чтобы едва иметь смысл для кого-то ещё. Так, отсылки и ключевые слова, позволяющие восстановить более-менее полную мысль.
По нью-йоркским законам я на работе обязан (агрессивное навязывание) использовать выбранные коллегой местоимения, даже если они очень сильно расходятся с его самопрезентацией, и бородатый отроду мужик называет себя she/her (девиация).
Далее, из сохранённых мной ссылок по тегам #sjw и #trans:
Icelandic Politician Under Police Investigation For Social Media Posts Criticizing Gender Ideology, Male Breastfeeding. via (кстати, заодно европейскую свободу слова подвезли)
Influential doctor Johanna Olson-Kennedy, who believes in “adolescent gender treatments”, is refusing to publish the results of a study that was funded by millions of dollars from taxpayers. Why? Because the study found that giving puberty blockers to children does not help them. via
LGBTQ activists speak out against SB1414, a California bill which would make it a felony to purchase children for sex. They claim it will affect LGBTQ people more. via
Less than a year since the massive @Target pride kids fiasco, they're selling a children's book entitled "The Hips on the Drag Queen Go Swish, Swish, Swish." via
An investigation by @TheMaineWire reveals new disturbing information about the trans student (male) who violently assaulted a female classmate at the bus stop in Maine while staff hesitated to intervene. The trans student struck the victim in the head with a steel water jug, gnawed on her eye, and smashed her head into the concrete. It's also being reported that the trans student had a history of sexuaI harassment at a previous school where he took pictures of other students in the girls' restrooms and even masturbated. via
Two Christian families are suing the Vermont Department for Children & Families, represented by @ADFLegal, accusing the state of blocking them from fostering due to their religious views on gender. via
A male who identifies as transgender brutally assaulted a female student at Pennbrook Middle School in PA. One girl who said she was "second on [his] hit list" told the school board that she had begged for help HOURS before the attack, but teachers did nothing. via
The highly-regarded paediatrician who conducted the most thorough review ever undertaken on the medical evidence for transitioning gender-confused children has been advised not to travel on public transport for her own safety. via
Teen identifying as transgender charged for planning mass shooting in Maryland kept disturbing 'manifesto' via
I’ve been informed that the school called the police on the mom who sounded the alarm about this teacher. They claimed they felt unsafe. The police called the mom and tried intimidating her into silence. She told me she will never stop speaking up to protect her children! She did nothing wrong! We reached out to the school to ask why they called the police on a concerned mom and they said it was to make them “aware” that an employee was being “targeted” and advise them about my post. via
Или вот массшутерша в Нэшвилле идентифицировала себя как мужчину (девиация) и устроила массшутинг в околоцерковной школе из-за ненависти к цисгендерам (агрессивное навязывание) судя по её утёкшему манифесту. Который, кстати, долгое время цензурился и не выпускался/подтверждался официально ФБР (агрессивное следование повесточке).
Вот вам полурандомная выборка десятка из
53-х подобных вещей, попавшихся мне на глаза и которые мне не лень было минимально проверять и сохранять, и охватывающих весь спектр от действий отдельных личностей (вроде массовых расстрелов) через избирательное правоприменение до государственного преследования.
Это не про вас конкретно, но мой личный опыт показывает, что говорящие в таких контекстах «никого нельзя щемить» люди в других, удобных им контекстах говорят «никакой свободы врагам свободы».
Какое-то инфантильное представление о мире в терминах «есть только я, и я хочу».
Дело в том, что человеку, уверенному в себе и вакцине, никому ничего доказывать не нужно. А неуверенные или неопределившиеся, или боящиеся признаться, всячески пытаются подобными фразочками всем вокруг непременно показать, что раз они высмеивают «антиваксеров», «ковидиотов»… а, тьфу ты, простите, у меня опять методички расплелись и листы перепутались. Попробую ещё раз.
Дело в том, что человеку, уверенному в своей политике и демократии, никому ничего доказывать не нужно. А неуверенные или неопределившиеся, или боящиеся признаться, всячески пытаются подобными фразочками всем вокруг непременно показать, что раз они высмеивают «ватников», «15-рублёвых», «альтрайт-реднеков»… да ё-моё, опять не в том порядке собрал.
Есть поведения, которые выгодны [по мнению Васи] социуму, а есть — невыгодные. Один из способов управлять ими и максимизировать профит в масштабах социума — хвалить за выгодные [снова по мнению Васи, здесь и дальше я это подразумеваю и более не пишу явно] социуму поведения и шеймить за невыгодные. Родил троих детей — малацца, воспитал их хорошими членами общества — ваще супер. Избегаешь вакцин — наносишь урон коллективному иммунитету и всё прочее ⇒ антиваксер тупорылый. Ожирение — больше риск болезней, больше шанс занять место в социальной больничке, больше углекислоты вырабатывается от перевозки твоей задницы, больше ковидных частиц в выдохе, в конце концов ⇒ жиртрест, жиробас, и так далее. Предпочитаешь людей своего пола — не рожаешь своих детей, статистически имеешь на порядок больше партнёров и имеешь больший риск всяких ЗППП ⇒ глиномес. (С уважением, ваш мужчина, чайлдфри, ранее бывший жиробасом, и уверенный в своей волцельности.)
В частности, например, когда несколько лет назад были все шансы получить эпидемию monkeypox'а (распространяющегося в основном среди геев men having sex with men), соответствующий шейминг — это более чем социально адекватное поведение.
Поэтому сводить всё к «да ты просто сам латентный, азазаза)))», во-первых, далековато от истины, а, во-вторых, не приведёт вас к успеху в переубеждении вашего собеседника. К успеху бы привёл разбор социальных аспектов и последствий его воззрений, но это задача, за которую никто не берётся на практике.
Это неиронично другое (если вы про мужчин в активной роли, а не про страпон, хотя и там есть нюансы), потому что, сходу:
анальный секс с женщиной не отменяет вагинальный, тогда как вагинальным сексом двум мужчинам заняться трудновато,
анальный секс с женщиной имеет другие психологические и сексуальные коннотации, не противоречащие возбуждению от женщин,
особенности распределения жира на мужском и женском теле дают сильно разный визуальный и психологический фидбек.
Иными словами, сводить всё к конкретной дырке настолько однобоко, что это даже несерьёзно. Вас же не смущает, что кому-то приятно смотреть на девушек в лосинах, делающих приседы в тренажерке, а на мужчин — не очень?
И я не сомневаюсь, что есть подмножество мужчин, которые с женщинами этсамое в попку только потому, что им на самом деле хочется мужчин, а тут и с девушкой повезло (ну или «повезло», если на мой вкус), когда она вся такая худенькая стройненькая попка плосконькая, но я не думаю, что это все ваши 35-40%.
Не слежу за конкретной current thing, сорри. Просто общий принцип.
Зависит от того, что вы хотите. Если хотите социального одобрения, чтобы люди любили и карма росла — вертите диван в сторону того телевизора, который показывает принятые в данном социуме картинки (а Соловьёв там или Joy Reid — дело десятое).
Здесь вот поступила разнарядка хейтить Маска — всё, хейтим Маска.
Удивительное дело: если принять меры против фрода, то на выборах меньше подтасованных голосов!
Я как-то в окрестности детского сада камни красивые собирал и попытался их домой принести, так мне люлей дали. Так что с натуральными числами в том возрасте тоже тяжко.
В матрицах и векторах считать на индексах не нужно. Вы вообще могли бы договориться называть компоненты трёхмерного вектора x как x_q, x_α, x_з, и в семантике бы ничего не изменилось (особенно на школьном или начально-вузовском уровне). Даже разные формулы вроде скалярного произведения выглядели бы так же — xy = x_q y_q + x_α y_α + x_з y_з, или, сокращённо, xy = Π x_i y_i, где i пробегает по элементам { q, α, з }.
Единственная причина начинать в векторах-матрицах счёт с единицы — чтобы не таскать в нотации «минус один» у последнего компонента n-мерных векторов. Выглядит стрёмно.
А вот там, где считать нужно (количество возведений в степень в рядах и многочленах, например) — там счёт с нуля.
Ну, да, там, где числами надо считать, а не просто использовать их как бесконечное индексное множество, выходит, что наличие нуля полезно.
Правда, непонятно, причём тут какие-то деформации.
Немецким друзьям не открывать
Да, можно симпатизировать левым взглядам, например. Здравый смысл тут мешается.
Не знаю, что для вас авторитетно, но:
прямо сейчас читаемая мной Bird'овская Algebra of Programming
включает ноль
Riehl в своей Category Theory in Context
включает ноль
(кстати, обратите внимание — нумерация последовательности с нуля), и в других местах ссылается на множество натуральных чисел как на моноид (по сложению), что требует нуля.
Goldblatt в Topoi тоже включает ноль, например, на с. 29:
и в других местах предполагает, что ноль входит в натуральные числа.
Формулировка упражнения 8 на с. 21 в Маклейне
включает ноль
Jacobs в Categorical Logic and Type Theory в поясняющем примере во введении предполагает ноль натуральным числом:
Верещагин-Шень в «Лекциях по математической логике и теории алгоритмов» пишут (том 1, с. 7):
Там же:
Успенский-Верещагин-Шень в «Колмогоровской сложности и алгоритмической случайности» тоже предполагают, что 0 — натуральное число (следует из изложения, нет сходу кратких цитат).
Flori в A First Course in Quantum Topos Theory говорит (с. 37):
что подразумевает включение нуля в множество натуральных чисел.
Aluffi в Algebra: Chapter 0 пишет
что включает ноль.
Продолжать, или хватит?
Отмечу, что ни в одной из сходу открытых книг в моей библиотеке не было использования натуральных чисел с единицы.