Да, вы правы. Начал перечитывать и увидел, что там действительно есть тайпчекеры на OCaml. И понял, насколько легче читать книгу автора, не получившего в/о, чем учебник профессора информатики.
Апдейт: стоит следить за работой Rui Ueyama над chibicc, если вам интересна компиляция в машинные коды. Обещает добавить оптимизационные проходы и написать в итоге книгу.
Драконовая книжка нынче совсем устарела. Очень много времени уделено теоретическим основам компиляторского фронтенда (ДКА, НКА), а всему остальному — мало.
Мои рекомендации по замене (не проверял наличие переводов на русский):
Bob Nystrom. Handcrafting Interpreters. Отличная книга, в которой дважды с нуля собирается настоящий интерпретатор, сначала простой на Яве, а потом хардкорный на Си: со сборщиком мусора, с замыканиями и пр. Полученных знаний хватит для написания умеренно-быстрого DSL. Чего будет не хватать после прочтения: типизации, оптимизации, компиляции в машинные коды. Точно пока нет русского перевода.
Benjamin C. Pierce. Types and Programming Languages. Серьёзная книга про системы типов. Чего не хватает: практики. К ней просто напрашивается книга-компаньон, в которой к простому интерпретатору прикручивается проверка типов
Eli Bendersky. Adventures in JIT compilation. Несколько блогпостов о JIT-компиляции Brainfuck. Даёт хорошее представление о том, что такое компиляция в машинные коды, как работают простейшие оптимизации в компиляторе
Каких книг не хватает (буду рад рекомендациям), от важных к менее важным:
Дизайн фронтенда для интеграции с IDE. Парсер правильных программ написать несложно. Парсер неправильных программ написать гораздо сложнее (кто пишет в Экселе на VBA, тот понимает, о чём я). Можно читать исходники компиляторов C# (Roslyn), Elm. Сугубо практическая тема, которой брезгают заниматься профессора CS, но очень необходимая.
Оптимизация. Все знают, что компиляторы умеют оптимизировать код, но я не нашёл книги, которая подробно рассказывает о различных представлениях кода, удобных для оптимизации (CPS, SSA), учит переводить в них свой код и содержит в себе каталог основных оптимизационных приёмов
Компиляция в машинные коды и линкование. Совсем редкая дисциплина, потому что
это не теория, а сугубая практика, зависящая от платформы и ОС
есть готовые ассемблеры и линкеры
есть "слон в комнате" LLVM, который глупо не использовать в качестве бэкенда, если вам действительно нужен свой компилятор не для саморазвития, а для решения практических задач
К чему это приведет? К более широкому распространению on-premise установок registry вроде Harbor, JFROG Container Registry (или Artifactory) в прокси режимах
Я не думаю, что владельцы Докера будут этим расстроены.
Скорее, наоборот. Брахманы — это элитная варна, брахман всегда скажет, что он брахман. Представьте, что у вас в конторе начальник воцерковленный и всюду тащит таких же. Вас перевели к нему в департамент, вы даже быстренько сориентировались и не стали спрашивать за чаем у коллег, что они думают про табачные схемы. Но теперь для построения карьеры вам нужно молиться и поститься, слушать радио "Радонеж", не спросить "спасибо, а с чем?", когда вас поздравят с именинами, потратить отпуск на восстановление крыши какого-нибудь скита, рассказывать, как сходил на пасхальную службу, репостить в соцсетях какие-нибудь православные паблики вместо рок-музыкальных.
И это ещё сравнительно просто, потому что верующим можно стать, а брахманом нужно родиться и вырасти, то есть переделать надо не только своё настоящее и друзей, но и прошлое, и семью.
5 МБ за 15 минут? Да это супер-скорость, я помню, что на моём дайлапе можно было скачать 1 МБ за 10 минут. Вышел вечером посидеть в Интернете, заодно одну песенку скачал.
Да одно само понятие "выйти в Интернет" чего стоит. Подумал сначала, что надо сделать и посмотреть, чтобы время зря не тратить, потом звонишь.
"Сколько весит гора Фудзи?" Рассчитывали на то, что вы не вытаращите глаза, а быстренько нарисуете силуэт по памяти, чтобы оценить пропорции, вспомните формулу объёма конуса, прикинете примерную высоту и плотность гранита… То есть вас можно бросать на новую для вас технологию, и вы не утонете, а сможете быстро разобраться и освоить.
Судья израильский Гедеон отбирал ополченцев для набега по тому, как они пьют воду из реки. И тот же смысл: в FAANG хочет работать огромное число соискателей. Может из них успешно работать тоже немало, но отсобеседовать такую ораву нелегко, надо как-то сократить их количество. Можно заставить их выучить алгоритмические задачи на графах, кататься на одноколёсном велосипеде или цитировать "Илиаду" с любого места и до обеда.
Если CRM будет внедрена до нормальной автоматизации бэка — это отличный способ сделать весь бардак внутри компании прозрачным для клиента. Это если вы не собираетесь оставить в CRM только воронку.
Так же. С какого-то момента все изменения схемы — ченжсетами в любом формате. Перед продом стоит препрод, на который нельзя накатить что-то руками. На нём все update+rollback прогоняются вашим CI/CD перед мёржем, после чего делается флэшбэк (если это ораклина), а после мёржа делается update. Для чистоты совести можете обновлять его по выходным.
Я хотел предложить потомственного московского интеллигента, но потом подумал, а вдруг вы потомственный московский интеллигент? Можно вариант наоборот — сойти за выходца из криминального мира. Не вора в законе, а хотя бы "бродягу".
Попробуйте притвориться выходцем из обедневшнего дворянского рода Великобритании. Даже не поговорить с кем-то, а сделать правдоподобную страницу в фейсбуке.
Спасибо за статью. Сначала хотел подсветить несколько вопросов, которые мне не понравились, но перечитал и понял, что они все относятся к первому разделу общих вопросов, который для моего текущего места работы очевидный.
Важно, чтобы соискатель мог задать эти вопросы непринуждённо, а не доставал из папочки чеклист, а то собеседующий может напрячься, ведь большинство на предложение позадавать вопросы натужно молчат или задают дежурный вопрос. Например, вопросы про деньги, повышения и прочее можно задать из вопроса "откуда взялась эта вакансия". Если человек ушёл, можно спросить о причине, а там уже и про повышение, про оценку труда. Если вакансия новая, можно спросить о внутреннем найме, а на оценку труда оттуда ещё раз свернуть, спросив про то, как вас будут вводить в курс дела.
Ещё хорошая тема для вопросов — спросить про две оси взаимодействия (про третью, менеджерскую, собеседующий обычно расскажет сам):
Откуда приходят задачи, и куда уходит результат?
Откуда приходят данные в систему, куда она их отправляет?
Тогда в разговоре сразу появляются аналитики, продакты, админы, саппорт, интеграция. Собеседующий умиляется вашей любознательности, а вы можете переходить к вопросам про рабочий процесс, релизы, и пр. С этой же темы легко свернуть и на тему менеджмента выше ("а кто нам вами и админами общий начальник?"), рабочих конфликтов и эскалации ("а что вы делаете, когда вам РП сырое ТЗ пропихнуть пытается?").
Crafting Interpreters.
Да, вы правы. Начал перечитывать и увидел, что там действительно есть тайпчекеры на OCaml. И понял, насколько легче читать книгу автора, не получившего в/о, чем учебник профессора информатики.
Допустимы GPLv2, запрещены GPLv3.
А такое требование не будет противоречить GPL?
Я тоже не читал, у меня с красным драконом.
Апдейт: стоит следить за работой Rui Ueyama над chibicc, если вам интересна компиляция в машинные коды. Обещает добавить оптимизационные проходы и написать в итоге книгу.
Драконовая книжка нынче совсем устарела. Очень много времени уделено теоретическим основам компиляторского фронтенда (ДКА, НКА), а всему остальному — мало.
Мои рекомендации по замене (не проверял наличие переводов на русский):
Каких книг не хватает (буду рад рекомендациям), от важных к менее важным:
Я не думаю, что владельцы Докера будут этим расстроены.
Скорее, наоборот. Брахманы — это элитная варна, брахман всегда скажет, что он брахман. Представьте, что у вас в конторе начальник воцерковленный и всюду тащит таких же. Вас перевели к нему в департамент, вы даже быстренько сориентировались и не стали спрашивать за чаем у коллег, что они думают про табачные схемы. Но теперь для построения карьеры вам нужно молиться и поститься, слушать радио "Радонеж", не спросить "спасибо, а с чем?", когда вас поздравят с именинами, потратить отпуск на восстановление крыши какого-нибудь скита, рассказывать, как сходил на пасхальную службу, репостить в соцсетях какие-нибудь православные паблики вместо рок-музыкальных.
И это ещё сравнительно просто, потому что верующим можно стать, а брахманом нужно родиться и вырасти, то есть переделать надо не только своё настоящее и друзей, но и прошлое, и семью.
5 МБ за 15 минут? Да это супер-скорость, я помню, что на моём дайлапе можно было скачать 1 МБ за 10 минут. Вышел вечером посидеть в Интернете, заодно одну песенку скачал.
Да одно само понятие "выйти в Интернет" чего стоит. Подумал сначала, что надо сделать и посмотреть, чтобы время зря не тратить, потом звонишь.
"Сколько весит гора Фудзи?" Рассчитывали на то, что вы не вытаращите глаза, а быстренько нарисуете силуэт по памяти, чтобы оценить пропорции, вспомните формулу объёма конуса, прикинете примерную высоту и плотность гранита… То есть вас можно бросать на новую для вас технологию, и вы не утонете, а сможете быстро разобраться и освоить.
Судья израильский Гедеон отбирал ополченцев для набега по тому, как они пьют воду из реки. И тот же смысл: в FAANG хочет работать огромное число соискателей. Может из них успешно работать тоже немало, но отсобеседовать такую ораву нелегко, надо как-то сократить их количество. Можно заставить их выучить алгоритмические задачи на графах, кататься на одноколёсном велосипеде или цитировать "Илиаду" с любого места и до обеда.
Если CRM будет внедрена до нормальной автоматизации бэка — это отличный способ сделать весь бардак внутри компании прозрачным для клиента. Это если вы не собираетесь оставить в CRM только воронку.
Так же. С какого-то момента все изменения схемы — ченжсетами в любом формате. Перед продом стоит препрод, на который нельзя накатить что-то руками. На нём все update+rollback прогоняются вашим CI/CD перед мёржем, после чего делается флэшбэк (если это ораклина), а после мёржа делается update. Для чистоты совести можете обновлять его по выходным.
А как вы боролись со справочниками, которые нагенерили пользователи? Их же нельзя засунуть в гит, а без них тестовый стенд будет малофункционален.
Я хотел предложить потомственного московского интеллигента, но потом подумал, а вдруг вы потомственный московский интеллигент? Можно вариант наоборот — сойти за выходца из криминального мира. Не вора в законе, а хотя бы "бродягу".
Попробуйте притвориться выходцем из обедневшнего дворянского рода Великобритании. Даже не поговорить с кем-то, а сделать правдоподобную страницу в фейсбуке.
Заставили перевести все средства на кошелёк Минюста. У ФБР точно есть свой кошелёк: https://blockchain.info/address/1FfmbHfnpaZjKFvyi1okTjJJusN455paPH.
Спасибо за статью. Сначала хотел подсветить несколько вопросов, которые мне не понравились, но перечитал и понял, что они все относятся к первому разделу общих вопросов, который для моего текущего места работы очевидный.
Важно, чтобы соискатель мог задать эти вопросы непринуждённо, а не доставал из папочки чеклист, а то собеседующий может напрячься, ведь большинство на предложение позадавать вопросы натужно молчат или задают дежурный вопрос. Например, вопросы про деньги, повышения и прочее можно задать из вопроса "откуда взялась эта вакансия". Если человек ушёл, можно спросить о причине, а там уже и про повышение, про оценку труда. Если вакансия новая, можно спросить о внутреннем найме, а на оценку труда оттуда ещё раз свернуть, спросив про то, как вас будут вводить в курс дела.
Ещё хорошая тема для вопросов — спросить про две оси взаимодействия (про третью, менеджерскую, собеседующий обычно расскажет сам):
Тогда в разговоре сразу появляются аналитики, продакты, админы, саппорт, интеграция. Собеседующий умиляется вашей любознательности, а вы можете переходить к вопросам про рабочий процесс, релизы, и пр. С этой же темы легко свернуть и на тему менеджмента выше ("а кто нам вами и админами общий начальник?"), рабочих конфликтов и эскалации ("а что вы делаете, когда вам РП сырое ТЗ пропихнуть пытается?").
А вот вычислить, есть ли в компании привычка увольнять людей не по ТК, на интервью сложно. Только есть интервьюер откровенный попадётся.