• Эх, айти, куда ж ты котишься? 
    0
    Ну, параллельный map без возможности партиционирования и батчинга — это вообще бессмысленная операция, так-то.

    Иногда её достаточно. Если недостаточно — берёте async-pool и радуетесь жизни.


    showDP и isLeft — я быстрее сам напишу, чем найду в библиотеках.

    Но писать в десятый раз надоедает. Или если в проекте используется в паре разных модулей, то надо либо копипастить, либо создавать Utils-модуль, думать, как его называть… Ну его, проще import Data.Either.Combinators.


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

    Версии, возвращающие IO [Either SomeException b] и IO [Maybe SomeException], действительно близки, а вот наличие версии с _ на конце, возвращающей юнит, абсолютно стандартно. Так вы явно показываете, что результат вам не нужен, да и ghc ругается, если в do-нотации вы игнорируете не-юнитовый результат. Да, можно написать void $ mapM foo bar вместо mapM_ foo bar, но это надо писать void $, импортировать Data.Functor (кажется, он там)… Проще подчёркивание поставить.


    Я уж и не спрашиваю, что это за нахрен map с выбрасыванием результата в корзину.

    Это если вам нужен только эффект. Правильнее было бы называть это traverse_, но mapM_ писать короче.


    Вот, например, здесь мне нужны только эффекты.


    Почему не reduce/foldl тогда уж?

    Потому что неважен чистый компонент предыдущего монадического действия. И, собственно, поэтому mapM_ и семейство теоретически могут работать в аппликативном контексте (см. выше про traverse_), а написать аппликативный fold у вас не получится заведомо (ну, чтобы он учитывал монадический контекст).


    Конечно, в сравнении с перекладыванием жсончика — и кобол покажется веселее. Но я лично сравниваю с хайлоадом, настоящей кластеризацией и параллелизмом, event-driven systems, message brokers, вот этим всем. Причем, именно что созданием и реализацией особенной архитектуры, а не использованием чужих библиотек.

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

  • Разработчики ядра Linux планируют заменить часть терминов в коде на нейтральные названия
    +1

    В Чехии вот неплохо, да. Если б ещё не налоги под 60% для мигрирующих по бизнес-визе...

  • Разработчики ядра Linux планируют заменить часть терминов в коде на нейтральные названия
    0

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


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

  • Разработчики ядра Linux планируют заменить часть терминов в коде на нейтральные названия
    0

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


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


    При всей моей иррациональной нелюбви к Юдковскому как к излишне расхайпованному персонажу, Inadequate Equilibria — хорошая книга, гляньте на досуге. Я довольно часто при чтении думал «о, чувак дельно излагает то, что уже и так представлялось разумным».

  • Разработчики ядра Linux планируют заменить часть терминов в коде на нейтральные названия
    +1
    Ну вот потому в Европе — пока ещё и можно не слишком любить «униженных».

    Ага, поэтому children grooming в UK не расследовали из-за опасения, что кабы полицию расистской не назвали. Когда оно там началось? В начале 90-х?
    И поэтому человека, который стал жертвой теракта и получил ножевые ранения, отправляют на курсы против ненависти и за дивёрсити (тоже в UK).


    США, похоже, до этого только сейчас дошло. Только сейчас DA обвиняет копа, убившего Брукса.

  • Разработчики ядра Linux планируют заменить часть терминов в коде на нейтральные названия
    0
    Дальше что?

    Дальше, думаю, ровно эта история и повторится.

  • Google просит ИБ-сообщество отказаться от терминов Black\White Hat и заменить их на нейтральные
    0
    Но если вы утверждаете, что все демократы, мэры от демократов и прочие политики этой партии, которые сделали всё для протестов — тоже левые, то вот тут прямая ложь.
    Демпартия — это не левые.

    Опять ненастоящие шотландцы.


    Кстати, влм отчисляют на фонж переизбрания кого? Сандерса или другого кандидата? Тоже заявите, что текущий кандидат демпартии — левее некуда?

    Так работает политика в США и внутрипартийные соревнования. Отчислять на Сандерса имело смысл полгода назад, сейчас можете с тем же успехом отчислять мне.


    Они таки же левые в исходном смысле, как современный феминистки относятся к изначальному термину.

    Куча людей в верхушке BLM открыто называет себя марксистами. Это уже тоже не те левые?

  • Google просит ИБ-сообщество отказаться от терминов Black\White Hat и заменить их на нейтральные
    0
    Интересно, на фоне и так очень серьёзных проблем в экономике США — поможет ли им снос памятников и целование негритянских туфель?

    Смотря кому. Широко известная в узких кругах Оказио-Кортез (сторонница левых взглядов, приверженец партии демократов) прямо писала, что стоит стараться бизнесы держать закрытыми до выборов в ноябре, а то подъём экономики не поможет демократам выпнуть Трампа из офиса.

  • Life in the Fast Lane
    0

    И хотя я согласен с общим посылом, но вот здесь не соглашусь:


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

    Факт наличия ВМ не имеет никакого отношения к корректности, да и безопасность там очень ограниченная. Тут нужны формально доказуемые языки.


    Разрабатывать на них, впрочем, ещё дольше и тяжелее, чем на С.

  • Life in the Fast Lane
    +1

    C здесь является совершенно не обязательным.


    Я тоже занимался чем-то похожим, и где нужно было не просто уложиться в таймауты (очень короткий таймаут у вас — это сколько, кстати?), а сделать быстрее, чем все остальные: ускорил систему на несколько наносекунд — получил выигрыш в деньгах. HFT — он такой, да.


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

  • Эх, айти, куда ж ты котишься? 
    +1

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


    В конце концов, если интереса к технологиям нет и интереса к зарабатыванию денег нет, то какая мотивация остаётся?

  • Эх, айти, куда ж ты котишься? 
    0

    Ну фиг знает. Не уверен, что нужны именно боевые проекты, чтобы понять, что за folding expressions такие в C++17 и найти, куда их пихать.


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

  • Эх, айти, куда ж ты котишься? 
    +1
    Ну и, насколько могу судить, эти самые $600K годовых — это будет примерно то же самое, что и энтерпрайзный кобол: захочется удавиться через три дня.

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


    По крайней мере, это точно веселее, чем жсончики туда-сюда перекладывать, ИМХО.

  • Эх, айти, куда ж ты котишься? 
    +1
    Порогом входа, количеством танцев с бубном, необходимых для поддержки нескольких версий

    В библиотеках с этим особых проблем нет, а в конечных приложениях — а зачем? Я могу назвать примерно полтора юзкейса, где это на самом деле нужно, но они все связаны с тулингом для хаскеля, и предполагается, что обычные программисты писать language server'ы и тому подобное не будут.


    Ну я знаю, да, вы, наверное заметили: я предлагал написать новый правильно. Это не так сложно.

    Будет четыре пакетных менеджера.


    А вот это — рак языка, именно это я предлагаю купировать. Это не нормально. Это значит, что в языке очень много лефтпадов

    А вот пакет типа такого или такого или такой модуль или вот такой лефтпад — это плохо или нет?


    и порядковыми номерами в названиях — это косвенно подтверждают.

    Функции с порядковыми номерами — это либо про туплы, либо про количество аргументов у функций, с которыми они работают, типа каких-нибудь zipWith3, uncurry3 и так далее.

  • Как жить и работать с психиатрическим диагнозом: расшифровка эфира, часть 1
    0

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

  • Эх, айти, куда ж ты котишься? 
    +1
    Но платят за них не так много. как Вы описали «в конце года».

    Относительно чистое software engineering на плюсах в Штатах — 400-600к в год вполне достижимы на позиции обычного senior developer'а. Правда, там уже (как пишут тут рядом) нужно иметь опыт написания C++20-кода.

  • Эх, айти, куда ж ты котишься? 
    +1
    cabal/stack — это даже хуже, чем npm.

    Чем хуже? Я не знаю npm, но на одной прошлой работы недалеко сидели люди, занимающиеся в том числе фронтендом, и судя по их проблемам и разговорам, stack вполне себе.


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


    В любом случае, в идрисе сейчас три пакетных менеджера уровня «я выучил идрис, надо теперь какой-нибудь пет-проект бы», по факту — ноль.


    А библиотеки — ну если бы я рулил процессом, я бы создал жюри, отобрал бы штук 50 внятных хаскелевых библиотек, и написал бы транспайлер.

    50 не хватит, у меня прямых зависимостей в трёх последних проектах только сотни полторы, непрямых там вытягивается штук 500.


    Транспайлить тоже больно, потому что строгая семантика идриса с разделением данных и коданных существенно отличается от нестрого хаскеля, где всё свалено в кучу. Собственно, основная проблема со Святым Граалем -XDependentHaskell в том, что как бы это совместить с уже имеющимся кодом.


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

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

  • Эх, айти, куда ж ты котишься? 
    +2

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


    Ещё непонятно, что лучше.

  • Эх, айти, куда ж ты котишься? 
    +2
    Хаскель? — не так-то много изменилось с 1999 года.

    Там наркоманию на типах все время впиливают.

  • Эх, айти, куда ж ты котишься? 
    0

    Я читаю скорее как «работаю по 8 часов в сутки, предпочитаю вечером встретиться с друзьями или прочитать сыну сказку», но не суть.


    А зачем для игр с новыми фишками выбивать одобрение на обновление системы? Я тоже работал в одном месте, где только в 2016-м или 17-м перешли на C++11, что нисколько не мешало.

  • Билл Гейтс обвинил социальные сети в распространении теорий заговора
    +1

    Ну давайте разбираться в вопросе. Например, в вопросе полезности масок, который упомянут в статье.


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

  • Google просит ИБ-сообщество отказаться от терминов Black\White Hat и заменить их на нейтральные
    0

    Не белые. Там сложный полиморфизм времени выполнения: некоторые люди в одних заявлениях говорят о себе как о белых, в других — как об отдельном и отличном этносе, типа «when I was a kid my mom always told me we're not white». Интересно, что первые заявления часто встречаются в контексте «как белые люди, мы ответственны за всё плохое и должны что-то и кому-то».

  • Разработчики ядра Linux планируют заменить часть терминов в коде на нейтральные названия
    +1
    Зато к проблеме привлекли внимание и дай-дай какого-нибудь черного копы не пристрелят.

    Зато просто перестреляют друг друга.


    There were around 35 shootings between the 4th of July and 7:00PM Sunday, injuring more than 45 people, according to the NYPD. Shootings exploded in NYC days after
    @NYCMayor disbanded all NYPD anti-crime cops.

    Тут была какая-то расистская шутка, ну да ладно.

  • Как сбросить вес, не занимаясь спортом? Личный опыт
    0
    1. В первую очередь большей толерантности к жаре (жир этому не особо помогает, особенно если я тут собрался поюжнее перебираться), отсутствию одышки при поднятии на 5-10 этажей (сделано), соответствию рекомендуемым ВОЗ нормам по количеству активности дабы не скопытиться в 60 (с сидячей работой, особенно сейчас из дома, даже два с половиной часа в неделю не находишь). На фигуру я давно забил, и хотя и сбросил вес с 93 кг до 79-80 (дальше стена, а рост у меня где-то 177), выгляжу всё равно имхо жиробасом, и единственная ощутимая разница — можно ремень застёгивать на плюс две дырки.
    2. Я и так ем довольно мало, буду есть меньше — начнёт болеть голова и всё такое. То есть, ну, я пробовал :)
      Может, можно оптимизировать качество съедаемой пищи, чтобы там больше всего было, и получать дневные нормы элементов не количеством (с калориями заодно), а качеством, но в эту тему надо углубляться. Я сейчас в каком-то локальном оптимуме, где я с собой борюсь, но в среднем побеждаю, и борьба не настолько уж прям совсем сильная, чтобы перевесить лень разбираться в здоровом питании, но если можно совсем без борьбы, то лучше без неё.
      Мне, в конце концов, не нужно было с собой сегодня бороться, чтобы пойти и ковырять sheaf'ы с bundle'ами и строить в них subobject classifier'ы, я это хотел делать, как, судя по всему, другие люди хотят заниматься физкультурой. Вот было бы неплохо и мне бы так хотеть эту физкультуру.
    3. Для меня нет принципиальных проблем хоть час, хоть полтора проходить с пульсом в 180-190, если я уже встал на дорожку (особенно если в наушниках митол). Проблема в том, чтобы встать на дорожку.
      В любом случае, сейчас я хожу с пульсом где-то в районе 120-140, что вроде как должно быть нормально.
  • Как сбросить вес, не занимаясь спортом? Личный опыт
    0

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

  • Эх, айти, куда ж ты котишься? 
    0
    Вот что меня убивает в СНГ-шной вышке — так это куча левых предметов чтобы забить кол-во кредитов до максимума (язык, история, экономика, философия).

    Фиг знает, я учился в МФТИ, и не могу сказать, что там была куча левых предметов. Да, языком фачили, но, пардон, не все с детства тусят в англоязычных IRC-каналах и читают англоязычные книги по программированию, английский язык нужен. История была, но я ходил на неё ровно два раза — на первую лекцию и на последнюю. Философия — аналогично (и при этом сдал кандмин по ней на отл, лол). Экономика… Ну, это был такой расслабон на втором курсе, на паре в, кажется, 5 вечера посидеть попыриться на графики без подписанных осей.


    99% учебного времени потрачено на вполне себе профильные предметы.


    Чё-то я походу диплом свой потерял, а то как раз хотел посмотреть на вкладыши и посчитать предметы.

  • Эх, айти, куда ж ты котишься? 
    +2

    У кого как. У кого-то, может, и есть, и этот кто-то в гробу видал заниматься программированием вне своих 40 часов в неделю.


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


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


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

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


    Может, это артефакт неизбежных потерь эмоциональной нагрузки при общении буковками в интернете, хз.

  • Как сбросить вес, не занимаясь спортом? Личный опыт
    +3

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

  • Как сбросить вес, не занимаясь спортом? Личный опыт
    +3

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

  • Как сбросить вес, не занимаясь спортом? Личный опыт
    +1

    Денег на хотя б дешевейшую колбасу не всегда хватало.

  • Как сбросить вес, не занимаясь спортом? Личный опыт
    +1

    Что делать, если на п. 3 не втягиваешься? Я уже три года ненавижу кардио.

  • Как сбросить вес, не занимаясь спортом? Личный опыт
    +1
    Тем более без каких либо обоснований кроме виртуального личного "полупрофессионального" опыта.

    Интересно такое выглядит под статьей о виртуальном личном непрофессиональном опыте.


    Показал эту статью человеку с сертификатом nutritionist’а, кстати — человек говорит, что автор статьи (и комментаторы с калоражем в тыщу ккал) загоняют себя в могилу. Там и обоснования были, но я в этом не шарю и процитировать не смогу.

  • Как сбросить вес, не занимаясь спортом? Личный опыт
    +2

    Я раньше так питался самыми дешевыми пельменями и бутербродами с хлебом (несколько лет подряд). Полёт более-менее нормальный был.

  • Разработчики ядра Linux планируют заменить часть терминов в коде на нейтральные названия
    +9

    У пары моих сокурсников точно осталось ПТСР после курса теории групп, так что kernel (и image) их оскорбляют и создают неикнлюзивную среду.

  • Эх, айти, куда ж ты котишься? 
    0

    Повару в условном Макдональдсе призвание скорее вредно.

  • Эх, айти, куда ж ты котишься? 
    +1

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

  • Google просит ИБ-сообщество отказаться от терминов Black\White Hat и заменить их на нейтральные
    +5

    Знал один игровой сервер, где за вопрос «Niamey is the capital of which country?» банили как за расизм.

  • Теории вероятностей: готовимся к собеседованию и разрешаем «парадоксы»
    0

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


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

  • Теории вероятностей: готовимся к собеседованию и разрешаем «парадоксы»
    0
    Нельзя логику свести к математическим примитивам в полном объеме. Никак. Поэтому логицизм постепенно завял. Точку поставил Гедель своими теоремами.

    Почему нельзя? И причём тут Гёдель? Ну да, есть невыводимые истинные утверждения. Чему это мешает?

  • Теории вероятностей: готовимся к собеседованию и разрешаем «парадоксы»
    0

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