Вот смотрите «safe rust» подмножество языка накладывает на код множество инвариантов, благодаря которым часть ошибок невозможна.
Надо заметить, что это «очень умное множество инвариантов» (ОЧЕНЬ УМНОЕ МНОЖЕСТВО ИНВАРИАНТОВ). Вынь любой из них — и вся Rust Safity посыпется.
Так вот проблема таких unsafe-блоков (как я её вижу) в том, что:
1.) unsafe-блок — это «вот в этом коде мы нарушили инварианты. Реальная ошибка может проявиться где угодно далее.
2) Пользователю предлагается „на коленке“ проверить и поверить, что его программа, хоть и нарушает Rust-safe инварианты, всё ещё сохраняет safity (просто из-за того, что его программа частный случай) — это весьма хлопотно.
2.б) Пользователю предлагается не просто однократно поверить, а как правило поверить на всё дальнейшее время существования программы, что unsafe-блок останется безопасным, как бы не менялась safe-часть его программы.
Вообще недоверие к пунктам „2“ и „2.б“ по-моему вполне оправдано.
Алиса была по сути переложением тех же его теорий на детские сюжеты.
Поддерживаю. Помню своё изумление, когда во взрослом уже возрасте читал во 2й что-ли главе: не знаю я это или не я (с отсылкой к парадоксу Арго или «в одну реку...», но по отношению к человеку).
Правила нужны потому, что:
а) Сами языки стремятся подчиняться правилам (лишние формы \ падежи \ спряжения уходят в прошлое). Если бы не новые
б) Вероятно наш мозг сам по себе является «нативным универсальным классификатором» — поэтому ему с правилами удобнее.
в) Разметка входных данных даёт возможность обучиться / возможность обучаться быстрее | точнее нейронке. Похоже правила для нашего мозга выполняют ту же роль.
(банальный пример, если вы знаете, что только 1й из глаголов для 3-лица мн.числа имеет окончание 's — то вы быстрее овладеете этим как навыком).
По-моему единственный нормальный способ дать фидбэк — это уделить ему в конце собеса 5-10 минут.
Если речь про тестовое задание — то там всё сложно. Всё-таки я эту хрень смотреть не буду код откровенно плохой по архитектуре — вряд ли кандидата устроит. А сидеть разбирать что именно не так в архитектуре и почему — реально может много времени забрать.
Есть две гипотезы — реалистичная и конспирологическая. Согласно первой, информация о сделках Кервьеля дошла до топ-менеджмента, который поседел от ужаса, и, оценив возможные последствия [для личной карьеры — вы мне тут информацию сообщаете, я обязан отреагировать], предпочел болезненный, но надёжный вариант развития событий.
Какой-то «не очень» вопрос, в обоих возможных смыслах:
— Как морфологически корректно образовать слово — наверное всё-таки есть хорошие варианты (USAnian?)
— Как сейчас называют жителей США (они называют сами себя) — хм… в формате монолога риторические вопросы задают в основном в пропагандистских целях, когда аргументов нет, а убедить надо.
>> Почему «атомы» торгуются в десятки раз ниже чем «биты»?
Когда отрасль появляется она и торгуется в десятки раз выше чем остальные. А потом она превращается в «сток» — как автомобили с ДВС, как электродвигатели до того и как ещё перед этим паровые двигатели и ткацкие станки.
В статье описано форменное издевательство как по форме — «экзамен» в сфере в которой пользователь не будет работать, так и по сути — а нафига пользователю угадывать по паролю ***.gmail.com облачный сервис.
Если же говорить о разумном подходе (когда умение написать пару формул на Excel экономит рабочий день) — то продуктивнее периодически проводить курсы для ваших работниках прямо на рабочем месте (с учётом используемого ПО, текущей грамотности и ± типовых задач)
И как с этими вводными коррелирует «слепой набор»? Есть, конечно, монстры, которые вслепую шпарят спецсимволы на скорости в 600 зн./мин без ошибок, но это, кмк, исключение.
При слепом наборе смотришь в монитор и видишь тот ли символ ты только что набрал (ну и разумеется «стартовое» положение рук на F-J). А при «не слепом» — отвлекаешься (или вообще смотришь) на клавиатуру.
А при чём тут власти?
В Калифорнии не строят из-за решений муниципалитетов, которые выбираются собственниками жилья, которые не хотят конкуренции своим м2 (а значит не хотят, чтобы строили высокие здания).
МИР един
Мозг («М») и разум («Р») должны быть описаныединой теорией, центральный вопрос которой -природа «И» -соотношение «М» и «Р
Открыл презентацию К.В.Антохина — и если честно такие слайды, с явно посконным маркетингом, вызывают сильную настороженность.
Не могу сформулировать почему — но мой мозг подсознательно (т.е. как обученная но не говорящая почему нейросетка) говорит, что именно в такой маркетинг обычно заворачивают самые бесполезные теории.
А на практике — когда у нас с супругой был один одмашний комп на двоих — просто пользовались разными браузерами.
Надо заметить, что это «очень умное множество инвариантов» (ОЧЕНЬ УМНОЕ МНОЖЕСТВО ИНВАРИАНТОВ). Вынь любой из них — и вся Rust Safity посыпется.
Так вот проблема таких unsafe-блоков (как я её вижу) в том, что:
1.) unsafe-блок — это «вот в этом коде мы нарушили инварианты. Реальная ошибка может проявиться где угодно далее.
2) Пользователю предлагается „на коленке“ проверить и поверить, что его программа, хоть и нарушает Rust-safe инварианты, всё ещё сохраняет safity (просто из-за того, что его программа частный случай) — это весьма хлопотно.
2.б) Пользователю предлагается не просто однократно поверить, а как правило поверить на всё дальнейшее время существования программы, что unsafe-блок останется безопасным, как бы не менялась safe-часть его программы.
Вообще недоверие к пунктам „2“ и „2.б“ по-моему вполне оправдано.
Некогда «корпорация добра», в том числе для пользователя, превращается в свою полную противоположность.
Поддерживаю. Помню своё изумление, когда во взрослом уже возрасте читал во 2й что-ли главе: не знаю я это или не я (с отсылкой к парадоксу Арго или «в одну реку...», но по отношению к человеку).
Нет не является, т.к. и Date и String вообще жёстко прибиты сигнатурой метода ;)
а) Сами языки стремятся подчиняться правилам (лишние формы \ падежи \ спряжения уходят в прошлое). Если бы не новые
б) Вероятно наш мозг сам по себе является «нативным универсальным классификатором» — поэтому ему с правилами удобнее.
в) Разметка входных данных даёт возможность обучиться / возможность обучаться быстрее | точнее нейронке. Похоже правила для нашего мозга выполняют ту же роль.
(банальный пример, если вы знаете, что только 1й из глаголов для 3-лица мн.числа имеет окончание 's — то вы быстрее овладеете этим как навыком).
Если речь про тестовое задание — то там всё сложно. Всё-таки
я эту хрень смотреть не будукод откровенно плохой по архитектуре — вряд ли кандидата устроит. А сидеть разбирать что именно не так в архитектуре и почему — реально может много времени забрать.Т.е. чтобы менеджерить их не по номеру, а по «кредитка для интернет-платежей».
Есть две гипотезы — реалистичная и конспирологическая. Согласно первой, информация о сделках Кервьеля дошла до топ-менеджмента, который поседел от ужаса, и, оценив возможные последствия [для личной карьеры — вы мне тут информацию сообщаете, я обязан отреагировать], предпочел болезненный, но надёжный вариант развития событий.
Какой-то «не очень» вопрос, в обоих возможных смыслах:
— Как морфологически корректно образовать слово — наверное всё-таки есть хорошие варианты (USAnian?)
— Как сейчас называют жителей США (они называют сами себя) — хм… в формате монолога риторические вопросы задают в основном в пропагандистских целях, когда аргументов нет, а убедить надо.
Когда отрасль появляется она и торгуется в десятки раз выше чем остальные. А потом она превращается в «сток» — как автомобили с ДВС, как электродвигатели до того и как ещё перед этим паровые двигатели и ткацкие станки.
Я довольно быстро привыкаю.
Встреченных мною (а тем более тех, за которыми надо было постоянно работать) видов раскладок клавиатур не так много.
Если же говорить о разумном подходе (когда умение написать пару формул на Excel экономит рабочий день) — то продуктивнее периодически проводить курсы для ваших работниках прямо на рабочем месте (с учётом используемого ПО, текущей грамотности и ± типовых задач)
При слепом наборе смотришь в монитор и видишь тот ли символ ты только что набрал (ну и разумеется «стартовое» положение рук на F-J). А при «не слепом» — отвлекаешься (или вообще смотришь) на клавиатуру.
В Калифорнии не строят из-за решений муниципалитетов, которые выбираются собственниками жилья, которые не хотят конкуренции своим м2 (а значит не хотят, чтобы строили высокие здания).
Открыл презентацию К.В.Антохина — и если честно такие слайды, с явно посконным маркетингом, вызывают сильную настороженность.
Не могу сформулировать почему — но мой мозг подсознательно (т.е. как обученная но не говорящая почему нейросетка) говорит, что именно в такой маркетинг обычно заворачивают самые бесполезные теории.
ОМГ опозорился, был не прав.