• Как перезапустить закон Мура программными методами. Ускорение софта в тысячи раз
    +3

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


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

  • Как перезапустить закон Мура программными методами. Ускорение софта в тысячи раз
    +4

    Ну почему, -fvisibility=hidden -Wl,--as-needed вполне себе помогает и в случае С++.

  • Чего не хватает современным соревновательным шутерам?
    +1
    Почему-то на соревнования играют в Counter Strike, а не Arma.

    Потому что раунд в контру — несколько минут, а в арму (хотя squad полущ) — таки подольше.


    А в DCS так вообще неделями длиться может.

  • Не надо портить инженерам десктопы своими мобильными решениями, одумайтесь
    0

    Да хоть «пост на хабре» или, ну, вот из моего текущего проекта всё, где написано deriving (Eq, Ord) здесь или здесь.


    В мапу их положить или что-то такое — вполне себе.


    Вы знаете заметные классы (в смысле общего рассуждения) таких объектов, чтобы для них сравнение объектов "в себе" имело важный смысл и превосходило по значимости все альтернативные критерии сравнения?

    А если их нет, то это означает, что сравнение для ваших объектов не определено. Это тоже нормально.

  • Google удаляет датскую музыку с YouTube
    +2

    Я предпочту тренироваться, занимаясь более профильными вещами, а фоном там пусть играет что-нибудь, похожее на то, что мне уже нравится.


    Раньше last.fm отлично справлялся с рекомендациями новых исполнителей.

  • Пользователи жалуются, что их ПК на Windows 10 стали медленнее работать после установки обновления KB4559309
    0
    А ведь это не какая-то экзотика, это такая штука, которая используется практически в любом офисе.

    Если честно, ни разу за последние лет 10 нигде с finereader или с необходимостью вообще пользоваться OCR не встречался, ни в одном офисе.


    Впрочем, аналогичные аргументы и в сторону Windows работают. Разработка на плюсах без вменяемых репозиториев и (до появления CLion) без адекватных IDE — это ад.
    Поставить набор для разработки на хаскеле или на идрисе — тоже не представляю, как это делать без бубна. Ради интереса пробовал энное время назад — не завелось.


    Вот и получаем, что на практике, по крайней мере, везде, где я работал, любители Windows в итоге ssh'ились (или putty'лись, или exceed on demand'ились) на рабочую машину с линуксом, а винда была в роли запускали для ssh и браузера.

  • Не надо портить инженерам десктопы своими мобильными решениями, одумайтесь
    0

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

  • Почтовый агент. Ловушка для жены эмигранта
    +2
    Если вас лично эта характеристика обидела, готов перед вами извиниться :)

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


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


    Если выразиться политкорректно, под оскорбившимися мужиками я понимаю тех, кто принял выражение «заголовок объективно сексистский» за «все те, кто не считает заголовок сексистским — грёбаные сексисты».

    Strawman. Про это речи не было.


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

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

  • Почтовый агент. Ловушка для жены эмигранта
    0

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

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

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

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


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

    Это довольно сильный тезис. У вас есть какие-то подтверждения?

  • Почтовый агент. Ловушка для жены эмигранта
    +1
    Мне ещё приходила в голову идея ввести аналог страхования по ухожу в связи с утратой трудоспособности, только «в связи с необходимостью ухода в младенческом возрасте», который выплачивается задним числом за полученный в младенчестве уход как процент от дохода.

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


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

  • Почтовый агент. Ловушка для жены эмигранта
    0
    Например можно попытаться уравнять количество «времени, потерянного из-за детей» у мужчин и женщин.

    Только из-за детей? А как насчёт других причин?


    Например банально за это платить из бюджета.

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


    Я уж не говорю о том, что бюджет — это налоги других людей, а не просто напечатанные государством деньги.


    Можно «потерянные» пенсионные накопления женщин возмещать за счёт отцов детей. Или например вообще сделать какие-то общие «семейные» пенсионные взносы.

    А вот это прекрасный вариант, ИМХО.


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

  • Почтовый агент. Ловушка для жены эмигранта
    0
    На самом деле такими «мысленными эксприментами» занимаются кучи людей. И целые кафедры занимаются прогнозированием того как ситуация может и/или скорее всего будет развиваться в этом плане.

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


    Или вы думaете итальянцев, турков, этнических немцев, евреев и вот сейчас беженцев Германия к себе тащит по доброте душевной?

    А вот эти вот беженцы, например, они на экономику влияют лучше, чем квалифицированные специалисты, которым, как я слышал, въехать не сказать чтоб сильно проще?

  • Почтовый агент. Ловушка для жены эмигранта
    0
    Я правильно понимаю, что для того, чтобы начать бороться с обратным сексизмом, вам нужна моя отмашка, или в идеале я должен начать этим заниматься вместо вас?

    Нет, неправильно.


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

  • Пользователи жалуются, что их ПК на Windows 10 стали медленнее работать после установки обновления KB4559309
    +1
    Безусловно, для любой ОС есть софт, который там без бубна не работает. Я же говорил о том, что линукс сам по себе совершенно не требует никаких бубнов. Ну и что винда в моей практике для существенно более ограниченного и простого спектра задач — требует, даже без всяких присылающих что бы то ни было клиентов.
  • Пользователи жалуются, что их ПК на Windows 10 стали медленнее работать после установки обновления KB4559309
    0
    Stream Deck.
  • Пользователи жалуются, что их ПК на Windows 10 стали медленнее работать после установки обновления KB4559309
    –2
    Зачем вам грабли и бубен в линуксе?

    Серьёзно, у меня есть игровая машина только для игор (на винде) и рабочая машина для всей разработки и прочей цифровой жизни (на линуксе). В первой регулярно бубен нужен, вторая просто работает.
  • Перевозим волка, козу и капусту через реку с эффектами на Haskell
    +7
    Спасибо за статью! Приятно видеть примеры полезности систем эффектов.

    нетранзитивное симметричное отношение порядка


    Отношение порядка по определению транзитивно.

    Олсо,
    симметричное
    	survive Wolf Goat = GT
    	survive Goat Wolf = LT
    



    Я бы вообще сделал isCompatible :: a -> a -> Bool (всё равно вы потом проверяете, вернуло ли ваше survive EQ, и конкретный порядок вам не нужен).

    Так что это просто нетранзитивное симметричное отношение. Хорошего названия для него я не знаю.
  • Google удаляет датскую музыку с YouTube
    +5

    То есть, гугл с ютубом монополист в области доставки музыки? Спотифая, пандоры, яндекс.музыки, да хоть бандкампа с redacted не существует?

  • Лучший напарник для IT-шника или как кодеру подобрать себе домашнего питомца
    0

    Мне всегда очень интересно, как такие люди в 40 после 20 лет хиккования вообще женятся и на ком (и зачем их партнёрам это). Хочешь не хочешь, а мозги тараканами покроются.

  • Почтовый агент. Ловушка для жены эмигранта
    +1

    А по итогу-то что предлагается? Если человек тратит время на занятие B и поэтому не совершенствуется в занятии A, то меньший уровень оплаты вполне естественен. Вы же не предлагаете платить человеку с более слабыми навыками только потому, что он занимался совершенно несвязанным занятием B?

  • Не надо портить инженерам десктопы своими мобильными решениями, одумайтесь
    0
    Я упомянул, что у нас иерархия типов. И Ostrich — подкласс (неважно, насколько дальний) для Bird. От Rust здесь только условный стиль.

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


    В подавляющем большинстве языков с тайпклассами или их аналогами нет сабтайпинг-полиморфизма и нет наследования.


    Не понял, что тут "это", расшифруете?

    Компилтайм-вычисления.


    В языках с зависимыми типами у вас тип может зависеть от произвольного терма языка, и эти термы нужно уметь вычислять. Idris, Coq, Agda и ещё менее известные так умеют, Haskell — нет. Условный Dependent Haskell, который бы научился это делать, ждут уже лет 10-15 и всё никак не дождутся.

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

    Ресёрч на тему влияния социальной изолированности на качество жизни в старости, например. Или влияние софтскиллов на уровень зарплаты.


    Впрочем, если для какого-то простого тезиса нужна аж целая книжка, то что-то с этим тезисом не то.

  • Почтовый агент. Ловушка для жены эмигранта
    0

    Вопрос в том, какова потребная численность последующего поколения.


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


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

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

    А она клиентам говорит, что она жена мигранта, что ли?


    я не бросаюсь обвинениями в оскорблении чувств меньшинств и не клеймлю никого сексистом

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


    Ну и выбор слов и assumption'ы у вас забавные. Американская привычка какая-то, агренье на BLM…

  • Детальный разбор структуры зарплат IT-специалистов в Кремниевой Долине
    0
    Ну вот с этим тяжко, неинтересная деятельность

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


    2 месяца потратил на то чтобы TyDD только дочитать.

    Вполне нормальный темп.

  • Почтовый агент. Ловушка для жены эмигранта
    +1

    Несколько? Я только одного насчитал.


    Ну и да, забавный выбор лексики, «изнеженных мужиков». В треде про равноправие и гендерные стереотипы это прям метаиронично.

  • Почтовый агент. Ловушка для жены эмигранта
    0
    До тех пор пока не появились дети.

    И? Это надо чинить?


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

  • Почтовый агент. Ловушка для жены эмигранта
    0

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


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

  • Почтовый агент. Ловушка для жены эмигранта
    0
    Женщины получают на аналогичных позициях существенно меньше денег как из-за дискриминации

    Это очень тяжело проверяемое утверждение. Особенно в силу размытия понятия дискриминации.


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

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


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

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

  • Почтовый агент. Ловушка для жены эмигранта
    0
    Отношение к гендерному балансу в условном гугле сильно отличается от отношения в среднем по индустрии.
    Я пару раз собеседовался в небольшие фирмочки

    В РФ или зарубежом? А то в РФ меня не раз просто разворачивали, когда узнавали, что у меня военного билета нет, когда я на 6 курсе (правда, уже чисто ради интереса, так как имел оффер) ходил по собеседованиям. Не вопрос баланса, конечно, но вопрос дискриминации.


    где в офисе даже нет женского туалета — «когда наймём первую женщину, тогда и озаботимся этой проблемой».

    Я работал в одной большой фирмочке, где на этаж опенспейса человек на 150-200 был один мужской туалет о двух писсуарах и трёх кабинках и один женский туалет того же объёма (согласно floor plan'у). Учитывая, что мужиков было раз в 10 больше, чем женщин, попасть в туалет в течение дня было нереально, особенно по кабинетным делам. Бегать по этажам и искать свободный сортир (и не находить) было вполне нормой.


    Зато экуолити.

  • Почтовый агент. Ловушка для жены эмигранта
    0
    Если речь идёт не про неравное уголовное преследование, не понимаю что вам не нравится.

    Ровно то же, что вам не нравится в этом заголовке — сексизм общества.


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

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

  • Почтовый агент. Ловушка для жены эмигранта
    0

    А зачем с ним бороться, если он не задевает ничьи чувства?


    Ну и если бы mrsantak не написал своё, то я бы задал точно такие же вопросы, но он успел первым.

  • Детальный разбор структуры зарплат IT-специалистов в Кремниевой Долине
    0
    То есть линкедин какой-то адекватный нужен, но откуда его взять если в РФ все к нему относятся так же, как и я — заходят раз в 2 года перед очередным поиском работы и обновляют профиль.

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


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

    Ну, ждать 300к/наносек действительно не стоит, но и идти и привязывать себя на несколько лет к заведомо неинтересному работодателю с несовместимой культурой работы — тоже ну такое. ИМХО это вредно.


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

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

  • Не надо портить инженерам десктопы своими мобильными решениями, одумайтесь
    0

    Теперь понятно, спасибо.


    Ну вот вы хотите написать код:


    impl Flying for Bird {
      // неважно что, важен факт разрешения impl Flying
    }
    
    #[prohibited] impl Flying for Ostrich {
    }

    Но какова связь между Bird и Ostrich? В расте (насколько я знаю) нет наследования типов, поэтому у вас будет просто отдельный тип Bird и отдельный тип Ostrich, с которым ваш Bird никак не может быть связан.


    А чтобы обсуждать, как сделать Bird связанным с Ostrich, надо уже обсуждать более конкретные вопросы из предметной области.


    и мы впадаем в C++ с его проблемой, что чтобы скомпилировать, нужно интерпретировать какое-то подмножество языка и во время компиляции проверять constexprʼы.

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

  • Не надо портить инженерам десктопы своими мобильными решениями, одумайтесь
    0

    Тогда у вас нет сравнения самих объектов, а есть сравнение того, что возвращает условная getStartTime.

  • Не надо портить инженерам десктопы своими мобильными решениями, одумайтесь
    0

    У меня John Major от этой фигни.


    Даже в хаскеле вы не можете сравнивать и сортировать разные типы, вы можете их завернуть в один экзистенциальный тип и сортировать его. А если вам нужен аналог IHavingDate, то у вас либо будет экзистенциал вроде


    class HasDate a where
      getDate :: a -> Date
    
    data SomeHasDate where
      theSHD :: HasDate a => a

    либо, в более мощных языках, что-то вроде списка List (a : Type ** (a, a -> Date)).


    Что, в принципе, тот же экзистенциал, вид сбоку.

  • Что нового в Microsoft Flight Simulator
    0

    Thrustmaster Warthog. Аналогичное скоро выйдет для F/A-18C.

  • Не надо портить инженерам десктопы своими мобильными решениями, одумайтесь
    0

    Нельзя. Это ж разные типы, каких результатов вы ожидаете?

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

    Можете уточнить вопрос? Я его не распарсил, а ответить хочется.