• Cитуация с PandaDoc в Беларуси: cчета компании заблокированы, нет возможности выплатить заработную плату сотрудникам
    +2

    Скорее я криво написал.


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

  • Cитуация с PandaDoc в Беларуси: cчета компании заблокированы, нет возможности выплатить заработную плату сотрудникам
    –1

    Предоставьте конструктивное доказательство А что делать-то?

  • Переезд инженера в Нидерланды: рулинг, кеннисмигранты, стоимость жизни
    +1
    Почему я при этом вполне двумя руками согласен с теми, кто предлагает поехать работать в Калифорнию

    В Калифорнию, кстати, не надо. Там все минусы европейского перераспределения, а вот некоторые таки имеющиеся плюсы позабывали.


    В Штатах есть куча куда более приятных мест. Даже НЙ приятнее.

  • Программист 2020: Терминатор отдыхает
    0
    Какой именно?

    Матлог, конечно же!


    Эта база даётся, кстати, очень мало кому.

  • Cитуация с PandaDoc в Беларуси: cчета компании заблокированы, нет возможности выплатить заработную плату сотрудникам
    0
    Государство же посредством социального контракта гарантирует вам в некоторых границах свободу слова.

    Только этот контракт этически нелегитимен, но это уже другой вопрос. Те, кто с этим согласен, обычно не имеют вопросов к «цензуре кармой».

  • Cитуация с PandaDoc в Беларуси: cчета компании заблокированы, нет возможности выплатить заработную плату сотрудникам
    0
    Или мы всё-таки сойдёмся на том что не стоит заниматься демагогией?

    А в комментариях к таким новостям разве вообще можно заниматься чем-то ещё?

  • Cитуация с PandaDoc в Беларуси: cчета компании заблокированы, нет возможности выплатить заработную плату сотрудникам
    +6

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

  • Германия, или Туда и Обратно — 1
    0

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


    А лечить имеет смысл, а то вероятность рака повышается.

  • Думал, что добьюсь большего к своим 35
    +1

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


    А про бутылку шампанского в подарок вам уже написали, да.

  • Так ли плохо в кремниевой долине?
    +1

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

  • Что нового в Java 15?
    0

    А в скале это в ядре языка или библиотекой сделано?

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 2
    0
    Я же не заставляю вас верить в то что они пишут. Я говорю почитайте и попытайтесь понять логику другой стороны. Вдруг (вдруг) вы увидете некий смысл.

    О, к слову о логике другой стороны, наткнулся на такое вот замечательное из WaPo сегодня и вспомнил об этом треде:


    тыц



    Просто вот интересно стало — заголовок вас не смущает?

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 3
    0
    Я не вижу ничего плохого в квотах на начальных этапах

    А я вижу.


    Какие именно квоты Вас лично беспокоят?

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

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 3
    0
    Если Вы правда занимаетесь какими-то проблемами — очень хорошо, если это ближе к «обезьянничанию»

    Как вы отличаете одно от другого?


    либо к попытке перебить информационное пространство

    Но ведь… Общий объём борьбы ведь не константа…


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

    Невозможность стать президентом из вашего примера выше выполняется примерно так же для 99.99999% мужчин в США (мог напутать с количеством девяток на порядок-другой), но вас почему-то волнует что-то про женщин.
    Или человеку умереть можно от кучи других причин, помимо полиции, но почему-то многих волнует полицейская жестокость.


    Вот так и тут.

  • Объясните, почему мой рокет-саенс бэкенд билдится пару секунд, а четыре формы на фронте — полгода
    0

    Ну а что делать? Вариантов лучше всё равно нет.

  • Как я стал программистом в 35 и стоит ли оно того?
    +4
    Лично я понятия не имею что, как и насколько нужно делать в жизни, чтобы «не нашлось» и «так получилось». Это попросту за гранью моего понимания.

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

  • Германия, или Туда и Обратно — 1
    0

    Про Долину я уж не знаю, но в NY не так.


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

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 3
    0

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


    Что мешает другим людям создавать другие движения и решать свои проблемы?

    Почему-то представители BLM (да и не только они) расстраиваются, когда говоришь, что белые жизни важны. Иногда можно даже умереть от отравления свинцом.

  • Объясните, почему мой рокет-саенс бэкенд билдится пару секунд, а четыре формы на фронте — полгода
    0

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


    Хотя лично я бы сказал, что и все топ-левел-байндинги должны быть аннотированы, но фиг знает, как оно там с этим в TS/Scala.

  • Эпл испортила мне ноутбук почти сразу после покупки и до сих пор не собирается чинить
    +1
    а вот это интересно. Мб боттлнек в disk I/O?

    Вряд ли. Компиляция вся в tmpfs, CPU не ждёт вроде, и так далее.


    Просто у вас рац. предложение «надо просто брать и смотреть», что для консьюмера, выбирающего между $2k+ ноутами такой себе совет.

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

  • Германия, или Туда и Обратно — 1
    0
    У вас неправильное видение ситуации — не вы выбираете квартиру, а хозяин квартиры выбирает вас из 50 других (причем бывает так, что некоторые предлагают платить не 1000, а 1100, только чтобы сдали им). Тут речь о рынке продавца.

    Так вот ровно это я и нахожу диким. Особенно пожив в других странах.


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

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

  • Мне надоело, что индустрия зависит от прихоти создателей языков программирования. Сообществу нужно больше власти
    0
    Если я вас правильно понял, то do-нотация привносит в функциональный в целом язык императивный способ записи ровно той же программы, так?

    Её привносят монады и вот этот вот их оператор >>=. do-нотация лишь позволяет записывать это, используя более привычный линейный синтаксис.


    В конце концов, я могу переформатировать пример без do выше во что-то вроде:


    foo arg =
                 smth arg                                        >>=
        \val1 -> smthElse val1                                   >>=
        \val2 -> pure (val1 + val2)

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


    Меняется семантика или нет — это, на самом деле, зависит от точки зрения: на каком уровне абстракции (которых в современных программах не один) оценивается семантика программы.

    ИМХО вопрос в том, можно ли преобразовать одну программу в другую по чисто синтаксическим правилам или нет. В случае с do-нотацией и (насколько я знаю) async/await в JS — можно. Это сахар. В случае с async/await в C# — нельзя, судя по тому, что вы пишете. Тут, правда, ещё возникают вопросы о том, можно ли было достигнуть аналогичных эффектов прямым синтаксическим преобразованием в случае C#, и является ли вся эта ерунда с КА лишь какой-нибудь оптимизацией, но это другой вопрос.


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

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

  • Германия, или Туда и Обратно — 1
    0

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


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

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 3
    +1

    А дискриминация против белых в Йеле (и других вузах) — это тоже среди рассматриваемых движением проблем?

  • Как я стал программистом в 35 и стоит ли оно того?
    0
    1. Вы когда-нибудь были на афтепати этих конференций? Потому что я был, и мат и прочее там вполне бывает.
    2. Я в вашем сообщении насчитал восемь ошибок (все пунктуационные, правда). А кривые запятые вы тоже не увидите в печатных материалах конференций, и это тоже вопрос уважения к собеседнику. По крайней мере, лично у меня глаз за запятые и кавычки-«лапки» цепляется сильнее, чем за «мудаков».
  • Эпл испортила мне ноутбук почти сразу после покупки и до сих пор не собирается чинить
    0

    Ну фиг знает, я поставил pam_fprint, прописал желаемое поведение в /etc/pam.d или где там, и оно всё само подцепилось в SDDM.

  • «На благо нашего общего будущего». Creative Commons возглавила Кэтрин Стилер, бывший евродепутат и CEO OKF
    +3

    Никогда не слышали, что мужчина должен, мужчина добытчик, мужчина защитник, мужчине нужно $smth потому, что ему потом семью обеспечивать? Не верю, извините.

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 3
    +1
    Спусковом крючке.

    Позор на мои седины :(


    из Техаса выгонят.

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

  • Германия, или Туда и Обратно — 1
    0

    Трёхмесячный залог, например. У меня без всякой кредитной истории было два, а как она появилась — кое-где ноль месяцев, кое-где один. И без недельных или месячных питчей перед потенциальными арендодателями о том, какой я хороший.

  • Эпл испортила мне ноутбук почти сразу после покупки и до сих пор не собирается чинить
    0

    Только если я на своей машине компилирую не ядро линукса с сями, а chromium с плюсами, то это уже может немножко поменять результат (разница в сборке gcc между моим i7 3930k и ryzen 3700x в хецнере — 30 минут против 28, разница в сборке qtwebengine — 70 минут против 30).


    Это я уж не говорю о том, что вычислительный код бывает разным, и разница в производительности кодека в ffmpeg, моей вычислялки всякой Монте-Карло-ерунды с самописным кодом на SIMD-интринсиках и вычислялки другой ерунды поверх blas'а будет разной. И, кстати, какой blas брать для сравнения? Везде openblas? Везде atlas? Или MKL под интелы (потому что оно там иногда на порядок быстрее) и то-что-быстрее-всего под AMD?

  • Эпл испортила мне ноутбук почти сразу после покупки и до сих пор не собирается чинить
    0
    Сканер завёл через жопу (но завёл), поигрался и отрубил к хренам.

    Да я тоже в итоге вырубил. У меня пальцы кривые какие-то, сканеры отпечатков их не любят.


    при чистке пшикнул хренью для дисплеев и клавиатура сошла с ума

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

  • Эпл испортила мне ноутбук почти сразу после покупки и до сих пор не собирается чинить
    0

    На ноутбуке мне этого действительно не хотелось, но


    1. На моём предыдущем ноуте (asus n55sf) была дискретная видеокарта от nvidia, и там всё (то бишь, засыпание-пробуждение, энергосбережение, отключение видео при ненужности) просто работало с nvidia-drivers и optirun.
    2. На моём десктопе видеокарта тоже от nvidia, и тут всё (то бишь, CUDA и управление температурой) тоже работает.

    Так что, думаю, всё было бы в порядке.

  • Объясните, почему мой рокет-саенс бэкенд билдится пару секунд, а четыре формы на фронте — полгода
    0
    Вы бы хоть комментарии писали. Сами не путаетесь в своем коде?

    Неа, они там особо не нужны.


    Для человека там типы функций (twfThinning : Sublist g g' -> ok g' -> (g |- t) -> (g' |- t) и tThinning : {e : STerm} -> Sublist g g' -> ok g' -> (g |- e :. t) -> (g' |- e :. t)) — там для знакомых с предметной областью всё понятно (даже был шанс проверить это на практике). Особенно если шрифт с лигатурами, и всякие |- превращаются в принятые в области значки. Тела этих функций человеку читать не нужно, они для машины, чтобы она могла проверить, что утверждения, закодированные в типах функций, действительно выполняются.


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

    как пример. Тело, опять же, неважно.


    А зачем оно нужно для разработки прикладного ПО?

    Чтобы всё было доказуемо и ничего не падало, и сбылась мечта многих о безбажном ПО!


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

  • Мне надоело, что индустрия зависит от прихоти создателей языков программирования. Сообществу нужно больше власти
    +1
    Не могли бы вы пояснить свою мысль на примере какого-нибудь другого языка, желательно — с императивной парадигмой. Например — обсуждаемых в этой ветке комментариев C# и JS?

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


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

    Смысл в том, что


    foo arg = do
      val1 <- smth arg
      val2 <- smthElse val1
      pure (val1 + val2)

    тупо компилятором по некоторым синтаксическим правилам дешугарится в


    foo arg = smth arg >>= \val1 -> smthElse val1 >>= \val2 -> pure (val1 + val2)

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


    Насколько я отрывочно знаю JS, async/await под капотом точно так же дешугарится в код с промисами и коллбеками в then.

  • «На благо нашего общего будущего». Creative Commons возглавила Кэтрин Стилер, бывший евродепутат и CEO OKF
    +4

    Интересно, что при разговорах о притеснении про притеснения мужчин традиционно ничего не упоминается.

  • Переезд инженера в Германию: «Голубая карта», налоги, дети
    0
    Да, вполне.

    Любопытно — а даты ближе, чем через 2 недели, были?


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

  • Переезд инженера в Германию: «Голубая карта», налоги, дети
    0

    Издевательство какое-то, я бы так не смог.


    Например


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

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

    В плюсах без них никак.


    И это вы ещё mach7 не видели.

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 2
    0
    Закончилось всё в итоге штрафом большим для режиссёра-организатора.

    А с какой аргументацией, если не секрет?

  • Black [O]lives Matter: раса, криминал и огонь на поражение в США. Часть 2
    0

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


    Ещё очень слово «copay» раздражает, так как в большинстве шрифтов оно выглядит как «сорау».