• Стоицизм в IT: почему древняя философия захватила Кремниевую долину?
    0
    А, точно. Она как разруха, в головах.
  • Стоицизм в IT: почему древняя философия захватила Кремниевую долину?
    0
    Автор вообще в курсе, о чем пишет?

    Где Digg, где GoDaddy, и где «долина» (уже сам факт, что нашу Заливную называют «долиной» как бы говорит, что автор не в курсе сути вещей).

    Короче, Твитер, конечно, на Маркет, в Городе; но GoDaddy — в Финиксе, а Digg вообще в Нью Йорке. Рассказывать нам, что в Финиксе или в Нью Йорке живут стоики — как-то совсем глупо. В СФ, конечно, да; только стоик выдержит эту вонь и срань.

    Ну а так-то да, садизма (это то, что проявляют по отношению к «стоикам») хватает у нас в индустрии. Как-то автор Амазон не помянул; вот где самое-то блядство (мое личное мнение).

    Но есть и душевные конторы. Там тоже нужно быть стоиком, чтобы терпеть все эти замедленные действия разгильдяев и бездельников.
  • Ася Патрышева: «Интернет — это уже не просто сеть. Это жизнь»
    0
    Спасибо; хороший текст.
  • Не в силах объяснить монаду
    +1
    О, действительно, не тролль — масса интересных статей у него. Спасибо.
  • Не в силах объяснить монаду
    +1
    Отвык я уже вести ученые беседы с троллями, несущими херню.
  • Не в силах объяснить монаду
    +1
    Слово произошло от Лейбница. Можно всегда погуглить.
    Насчет же бытового смысла слов, это, конечно, идейка ценная искать материальные метафоры (и я ее поддерживаю), но не знаю, как вы при этом терпите приложения на смартфоне, функции четырех переменных в коде, и моральный закон внутри нас. Можете бытовые метафоры назвать?
  • Не в силах объяснить монаду
    0
    Это не свойство монады, это свойство, э, русских программистов, извините. Все непонятное вызывает страх. Ну, счастливого пути, конечно.
  • Не в силах объяснить монаду
    +1
    Монаду не притащили, а открыли путем наблюдений над самыми различными явлениями. Которые обобщаются примерно на такое — «функтор с pure и flatten».

    Но, как я погляжу, тут ан масс невежды протестуют против математики. Да не хрен ли с ними, с невеждами. Математику они не отменят; отменят они только самих себя.
  • Не в силах объяснить монаду
    +6
    Чудесно!

    По мне так ответ на эту загадку простой — эти люди сойдут со сцены, и придут те, кто «понимает монады». У нас в группе как-то с этим не видно проблем, например.

    Я насмотрелся в жизни и страха перед фортраном, и страха перед си++, и страха перед джавой, и страха перед ООП, и страха перед ФП; теперь вот все баяцца монад. Ну пусть боятся; эти люди ж не вечно на арене. Придут те, что не боятся. map и flatMap для них естественная вещь. Я этих людей вижу каждый день.

    Ну и монада не конец света, конечно. Линзы (и вообще оптика), свободные монады (я в них не верю, там нужно сохранение фильтрованных копределов), расширения Кана… жизнь идет. А «любители ООП» (можно подумать, они родились с ООП в голове) уйдут на пенсию, будут ныть там.
  • Сделай сам: MSc Computer Science на уровне топ американских университетов из дома
    0
    P.S. Обнаружил эту дискуссию четырехлетней давности, где какие-то КТН учили меня ZFC, приводя в пример американских профессоров, которые все лучше знают.

    Я как-то не отметил тогда тот факт, что я как раз американский профессор.
    ZFC я тоже преподаю моим студентам, если чо. И теорию моделей. Но собравшиеся полуобразованцы, включая этого срезавшего Глеба, путающего Бунина с Шукшиным, видимо, пока им credentials не предъявишь, будут продолжать нести свою фигню. Ну вперед. Вы ж не мои студенты, не переучивать же вас.
  • Сделай сам: MSc Computer Science на уровне топ американских университетов из дома
    0
    Ну что вы, в мои планы вовсе не входит развеивать какие-либо из ваших сомнений. Сомневайтесь на здоровье, не буду вам мешать.
  • Сделай сам: MSc Computer Science на уровне топ американских университетов из дома
    0
    Ну все, Глеб срезал.

    ZFC ваше тут ни пришей не пристегни, товарищ оппонент. Монады от теории множеств не зависят.

    Впрочем, спасибо, открыли мне немножко глаза на образ мышления людей, «обучившихся компьютерным наукам». Я со своими студентами тоже все удивляюсь. Линейная алгебра от зубов отскакивает, а что такое композиция двух функций, первый раз слышат.
  • Сделай сам: MSc Computer Science на уровне топ американских университетов из дома
    –3
    Я примерно в курсе, когда изобрели монады в смысле теории категорий, и когда появились первые идейки применять их в компьютерной области.

    Остальные же части вашего комментария я комментировать не буду, т.к. полагаю, что это все — наивное мнение не то чтоб очень образованного технаря. Реляционный калькулюс наукой не является, а является системой обозначений, как, к примеру, Z-notation.

    И речь не о том, чем типа я или кто-то хочет заниматься; речь о понимании сути того, чем человек занимается. Если вы лично остановились в своем развитии на «реляционном калькулюсе», то мои соболезнования.
  • Сделай сам: MSc Computer Science на уровне топ американских университетов из дома
    –3
    Все это хорошо и важно, но немножко 20-й век сплошной.

    Есть вещи более современные. После всех этих графов и синхронизаций и ассемблеров, бац — а монады человек в упор не понимает. CPS в упор не понимает. Почему wait/notify не нужно, не понимает.

    Так что… грустно это все. Как можно ту же теорию моделей освоить без какой-то более серьезной базы, я не знаю.

    Но вернемся к элементарным вещам. Лямбда-калкулюс тут где у вас?

    (Я, видимо, немножко туповат — не вижу, а кто автор-то?)
  • Бизнес vs программная инженерия
    +1
    Душевно. Относится не только к России; у нас в Заливной Области та же фигня. Так что валить на особенности русского образования, бизнеса, менталитета вряд ли имеет смысл. И китайцы такие же, и индийцы такие же, и местные такие же, и европейцы едут такие же; различается только внешний стиль.

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

    С другой стороны, у менеджеров в бизнесе горизонт — полгода, а то и пара недель. Ну и даже если нет, найти причину прищучить инженеров («это ваши ошибки» (которые вы допустили, слушаясь меня)), чтобы слушались лучше.
  • Корпорация добра в ударе
    +3
    А нечего верить пропаганде.

    Как бывший сотрудник этой корпорации добра, сообщу, что для этих, хмм, гадов такое поведение в порядке вещей. И не надо разевать варежку (как это делал я).
  • Монады с точки зрения теории категорий
    +2
    Ой. Извините. Одичал тут в Америке. Отвык уже общаться в таком агрессивном стиле. Вообще зря полез; употребляйте вы себе на доброе здоровьичко, и всего вам хорошего. Как проектировщик ПО, использующий их в своих проектах, Вы могли бы рассказать о своём опыте.

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

    Извините. Действительно отвык общаться с полоумными идиотами. Вы как-нибудь устаканьтесь, или Вы в курсе, шо це за параша, декартово замкнутые категории (шукайте, шукайте на гугле), или же Вы не знаете, и чешете репу, куда ж бы это их употребить в народном хозяйстве.
  • Монады с точки зрения теории категорий
    +2
    Очень смешные возражения. Я такие слышал в адрес языком программирования (на ассемблере лучше), в адрес ООП, в адрес ФП, в адрес джавы — каждый раз приходит невежественный умник и объявляет, что в народном хозяйстве оно не треба.

    Вам не треба, вы и не кушайте. Этот текст не для Вас; Вы прекрасно докантуетесь до пенсии без всех этих сложностей. Скорее всего.
  • Монады с точки зрения теории категорий
    +2
    Напротив. Была такая проблема, что нечистый код никак не формализовать. И тут появился Моджи с монадической интерпретацией; хаскельцы за него схватились, и таким образом более-менее формально (и не всегда так уж правильно) впендюрили в Хаскель монаду.
  • Монады с точки зрения теории категорий
    +1
    А вот Вы не хотели бы изучить японский за полчаса, по слайдам?

    Требуется время. И не вините японцев, что у них канджи сложная, и катакана ни к чему.
  • Монады с точки зрения теории категорий
    +1
    Не согласен; категория — это не теоретико-множественная модель. В категориях можно построить теорию множеств (ну точнее, в топосе с NNO); можно и наоборот — но эти две теории независимы.
  • Монады с точки зрения теории категорий
    +1
    Нет, не определяет. Теория категорий не нуждается в теории множеств. Теория множеств, как говорят сторонники интеллигентного дизайна — всего лишь теория; и их много разных.
  • Монады с точки зрения теории категорий
    +1
    Спасибо за замечание; поправил это в английском оригинале.
  • Монады с точки зрения теории категорий
    +1
    Я вообще-то программист; но изъясняться на примитивном уровне пэхэпэшников и вижуал бейсиков не планирую. Эти поколения тупых быдлокодеров приходят и уходят; зачем бы это им загружать мозги излишними знаниями, если им самим не треба? И вы не дети. Вы взрослые люди.
  • Монады с точки зрения теории категорий
    +1
    Ваши кучи и делегаты тут ни при чем. Попробуйте выучить несколько новых слов и понятий; может оказаться интересным; если ж не хотите — значит, этот текст не для Вас.
  • Монады с точки зрения теории категорий
    +2
    Значит, этот текст не для Вас. В теории категорий нет куч и стеков.
  • Монады с точки зрения теории категорий
    +1
    Я не ставил себе целью убедить кого-либо в чём либо; а также не ставил целью мотивацию. Написал это для людей, которые сами себя мотивируют, но которым лень продираться через сотни страниц МакЛейна.
  • Новая клавиатура Гугла: epic fail или шутка?
    0
    Ну дай им бог удачи. Я лично это делал для себя и людей, которых я уважаю. Что, к примеру, с того, что матрицу обратить или производную взять может один из миллиона?
  • Новая клавиатура Гугла: epic fail или шутка?
    +1
    1. Я не знаю, чья это бюрократия, московская или маунтин-вьюшная. Обе стоят друг друга.

    2. Что я тут могу сказать? Гугл никогда не реагировал на юзерский фидбак.

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

    Да, наверное, можно было и для других народов. Но это было у меня на третьем месте: первое — выпустить хоть что-то, второе — присобачить к джимейлу, и третье — нац языки России.

    А вот почему никто не спрашивает, как это так что на translate.google.com моей клавки как не было, так и нету? Уж не из-за того ли, что Дима Гензель, хозяин этой апликации, в обиде на меня за то. что я его дуру жену прокатил на интервью? Хер его знает. Темна вода во облацѣхъ. А между тем, даже патент зафайлен на трюк, позволяющий автоматически менять раскладку при смене языка ввода…
  • Новая клавиатура Гугла: epic fail или шутка?
    +2
    Меня надо ещё надрессировать воспринимать здешние минусы как что-то вредное для моего здоровья или настроения.
  • Новая клавиатура Гугла: epic fail или шутка?
    +1
    Да там тормоза. На хера им гавайский, если в гавайском нет ни одной дополнительной буквы (апостроф-то всяко на клавке имеется).
  • Новая клавиатура Гугла: epic fail или шутка?
    +1
    С японским не особо что вышло. Я знаю катакану и хирагану, их и запрограммировал, плюс транслитный вариант, когда «кореxа нандесука» плавно интерпретируется как これはなんですか (см myjavatools.com/k/kas/)

    А канджи я не знаю, ну и проигнорировал; плюс, японец, который сделал вариант с аджаксом, меня молча посылал, когда я просил помощи.
  • Новая клавиатура Гугла: epic fail или шутка?
    0
    Я так понимаю, что российские пиэмы руководствуются чем-то отличающимся от интересов конторы или человечества.
  • Новая клавиатура Гугла: epic fail или шутка?
    0
    Я клавку эту знакомым украинцам показывал. И русскую, и украинскую. Добровольцев помочь добавить раскладки к украинскому не нашлось. А мне так совершенно невдомёк, был ли ять у древних укров, и если был, то где.
  • Новая клавиатура Гугла: epic fail или шутка?
    0
    Я что-то перестал понимать, в России что, народ совсем отупел? Историю родного языка знать не желает? Где ваш патриотизм-то, а?

    А впрочем… идём как-то мы с Лёвой мимо блок-поста общества Память; а у них на плакате какая-то хренопень написана, и вместо ятей еры понатыканы. Я им вежливо указал на ошибки; они же мне, жидовской морде, посоветовали валить в свой Израиль.

    Так что это.
  • Новая клавиатура Гугла: epic fail или шутка?
    0
    Спасибо; да, именно так. Была свобода, я ею пользовался. Если бы у меня был в этом смысле начальник, хер бы кому это удалось бы продать.
  • Новая клавиатура Гугла: epic fail или шутка?
    0
    Соображениями руководствовался не гугл, а я. Мне именно хотелось, чтобы «не лепо ли ны бяшеть братие» можно было искать в оригинальной транскрипции", так же как и различные документы в старой орфографии — можно найти много хорошего, чего яндекс не находил.

    А то на хрена бы я вставлял юс большой йотированный? Для советского человека буквы «ю» вполне достаточно.
  • Новая клавиатура Гугла: epic fail или шутка?
    0
    «1) Почему виртуальная клавиатура не умеет набирать английские символы?
    1) Почему вне зависимости от национального домена (.ru, .jp,..) можно набирать только «родные» символы? Искать на других языках (что, по идее, и должна делать эта клавиатура), она не позволяет. А символы, соответствующие моей локали, и так есть на моей «железной» клавиатуре.
    2) Зачем поисковику, который не учитывает регистр символов, виртуальные кнопки смены регистра (Caps/Shift)?»

    1) Как я её разработал, клавиатура могла содержать несколько раскладок, и даже все раскладки, переключаемые через иерархическое меню. Для русского языка, в частности, было три раскладки: стандартная русская, русская транслит, и английская. Клик — и переключился. Но нынче кто-то в гугле… или они не могли сбилдить правильно… (всё определяется сборками в билд-скрипте) хрен их знает.
    1) Это политика. В гугле у каждого очень много ума, и все стараются друг друга перекричать. на данный момент перекричали всех люди, которые считают, что надо именно так.
    2) Клавиатура делалась не для поисковика, а вообще. Я её и в жж использую. А вот то, что для того редактора, который гугл использует в gmail, интерфейса нету — это вина моя; не успел! Так было как бы нефиг делать, но мне хотелось выпустить хоть тушкой, хоть чучелом.