Забавно наблюдать за колебаниями туда-сюда оценок статьи и комментариев, кармы, причем синхронное. На мой взгляд, это демонстрирует не просто поляризованность общества, но и какую-то непримиримость. И вот это очень плохо. Как мы научимся понимать друг друга? Я стараюсь услышать и понять разные точки зрения. Если что-то сделал не так — поясните, учту в будущем.
Несмотря на то, что я описал ситуацию в шутливых тонах, ситуация с Coq ясна: люди серьезно относятся к мнению сообщества и готовы обсуждать даже такие щекотливые темы в поисках консенсуса. Если пробежаться по аргументам сторон За и Против, то картина примерно такая:
З-1: Наша название — это наследие/история!
П-1: Но оно может служить барьером для новых людей, вступающих в сообщество.
3-2: Нам просто не следует хихикать над глупыми словами, и всё.
П-2: Люди стесняются говорить Coq в разговоре, ведущемся по-английски.
З-3: Coq был разработан во Франции, где это название вполне осмысленно. Мы же не меняем английские слова из-за того, что они плохо звучат в других языках.
П-3: Да, потому что английский — основной язык научной коммуникации.
Это — диалог. И сторонники нынешнего названия сами признаются, что недооценивали важность аспектов П-1 и П-2 и ради них готовы пойти на уступки. В интернете всегда кто-то неправ, но лучше ведь жить дружно. Как раз пришла хорошая новость из другой щекотливой истории: Столлман извинился за свое поведение, и его не исключили из FSF.
Увы, придумывание названий — штука непростая. Считается, что в названии Coq скрыто CoC (Calculus of Constructions) и часть фамилии одного из создателей — Thierry Coquand. А язык, который Coq имплементирует, назвали Gallina — это по-испански «курица».
читать такую стену текста невозможно
…
Генерация и подкладывание ключей — довольно муторный кусок работы.
Статья немного пугает, это факт. К счастью, жизнь не стояла на месте и с тех пор появился установочный скрипт — projector-installer, взявший на себя по крайней мере часть этой муторной работы. Волшебная команда install-certificate подключит имеющийся SSL-сертификат, а если его нет, то может сгенерировать самоподписанный — правда, его придется вручную добавлять в браузер.
Да, речь о цифровом пароле, скорее. Когда всё началось, было не до телефона, а в больнице уже поздно: никого в гости не пускают из-за пандемии. Плюс паранойя — телефон или симку никому никогда не даю. Плюс, неспортивно.
Как отметили выше, с этим кодом я мог бы разобраться и сам, если бы припекло. У меня iPhone, поэтому можно было на заблокированном аппарате голосом попросить включить VoiceOver, а дальше телефон начинает говорить, какая кнопка под пальцем. Нажатие — двойным касанием. Думаю, у Android'а аналогично.
Это потянет на отдельную статью. Попробую кратко. Сидел вечером перед компьютером, внезапно правый глаз затуманился, заболела голова в районе надбровья, вокруг ламп засветились радужные ореолы. Через час прошло. Потом это повторилось через пару месяцев, потом еще через месяц. Иногда на левом глазу. Иногда несколько часов длилось. Визит к врачу всё откладывал — ведь само проходит вокруг уже коронавирус вовсю бушует, просто так и не попасть. Например, в ту же клинику «Микрохирургия глаза» — только по скорой.
В последний раз приступ начался поздно вечером. Решил, что лягу спать, всё и пройдет. Не прошло. Промучился ночь, потом скорая, боровшаяся с мигренью, потом на следующий день еще одна скорая, и новые обследования всего, кроме глаз, и только на третий день удалось попасть к окулисту — одному, второму, третьему, и уже тогда начали лечить.
Диагностировали глаукомоциклитический криз — резкое временное повышение внутриглазного давления. Что является его причиной, науке достоверно неизвестно. Две основные гипотезы — аллергическая реакция или результат воспаления сосудистой оболочки глазного яблока. Чаще встречается у мужчин в возрасте 30-50 лет, но случиться может с каждым. Моя ситуация поставила врачей в тупик — например, почему сразу оба глаза (обычно поражение одностороннее)? Меня допрашивали: «Диабет? Системное заболевание? Алкоголь? Наркотики? Энергетические напитки? Отравление? Баня? Переохлаждение? Сильный стресс? Нервное переутомление? Что-то еще необычное?» Всё мимо. Зато у меня нашлись и другие крайне необычные для такого криза сочетания факторов и особенностей.
Про то, чем чревато повышение глазного давления и как с этим борются (мне в итоге сделали лазерную иридэктомию), можно почитать у доктора Шиловой.
Да, всё нормализовалось. Добавил пояснение в конец статьи.
Офтальмология мощно продвинулась за последние десятилетия. С технической точки зрения её возможности выглядят порой фантастически. И даже выбор есть. Я в этом центре за полторы недели стал своего рода старожилом, заставшим несколько волн других пациентов. Выглядит как конвейер: заселили, обследовали, утром прооперировали, на следующий день отпустили. Все процессы отлажены, врачи профессиональны. Поэтому уверен, у вас всё пройдёт нормально. Удачи!
Вы правы в том, что я был недостаточно настойчив. Это происходило оттого, что я понятия не имел, как всем этим пользоваться. Потом-то, в спокойной обстановке, я разобрался, как можно было всё сделать — действительно, не так и сложно.
Предлагаю всем упражнение — попытаться что-нибудь поделать на телефоне с закрытыми глазами: скажем, набрать PIN-код, запустить YouTube и включить послушать определенный ролик. Если у вас всё получилось, я буду считать, что цель моего рассказа достигнута, потому что я призываю пробовать и осваивать разные способы взаимодействия с вашей техникой.
Безусловно. Особенно, если подготовиться. Я как раз и пытался показать, что несмотря на то, что возможностей современной техники хватает, чтобы незрячие могли программировать и вести блоги, но оказавшись внезапно без зрения, чувствуешь себя немного беспомощным, не в силах применить мощь этих технологий.
Главная новость, которую я узнал из этой заметки — что, оказывается, Microsoft Surface еще жив. И вот посмотрите — мы уже все обсуждаем его. Очень грамотный вброс.
Увидав заголовок, представилось два варианта для статьи: либо техническая, о крутой системе мониторинга воздуха, построенной на современных технологиях, толковой и прозрачной, либо о том, как производится имитация заботы о населении — для галочки, с обманами и распилами.
Хотя, нет… Первый вариант выглядит абсолютно утопическим — даже и не ожидал его увидеть, кликая на заголовок. Ключевое слово, меняющее смысл — «чиновники». Если его убрать, то останется хоть какая-то интрига. Вот бы дожить, когда в прекрасной России будущего содержание статьи не будет однозначно восстанавливаться по такому заголовку.
Как тут не вспомнить классику про Штирлица: «Найдите мне такую жену, которая любит порнографию, я сразу отдам ей руку и сердце.»
Полная цитата
Однажды его люди [Мюллера] пытались завербовать южноамериканского дипломата; они показали ему несколько фотографий — дипломат был снят в постели с белокурой девицей, которую ему подсунули люди Мюллера. «Либо, — сказали ему, — мы перешлем эти фото вашей жене, либо помогите нам». Дипломат долго рассматривал фотографии, а потом спросил: «А нельзя ли мне с ней полежать еще раз? Мы с женой обожаем порнографию». Это было вскоре после приказа Гиммлера — обращать особое внимание на семейную жизнь немецких разведчиков. Штирлиц обычно ворчал: «Надо исповедовать свободную любовь без всяких обязательств, тогда человека невозможно поймать на глупостях». Когда ему рассказали об этом случае, Штирлиц только присвистнул: «Найдите мне такую жену, которая любит порнографию, я сразу отдам ей руку и сердце. Только, по-моему, перуанец вас переиграл: он испугался своей жены до смерти, но не подал вида и сработал, как актер, а вы ему поверили. Ты бы испугался своей жены? Конечно! А меня не возьмешь — я боюсь только самого себя, ибо у меня нет ни перед кем никаких обязательств. Единственное, что плохо, — некому будет приносить в тюрьму передачи».
Вероятность по определению не может быть больше единицы (или 100%), увы. Ноль соответствует невозможному событию, единица — достоверному («по-любому»), остальное — в промежутке между ними.
Вероятность доходит до единицы за год, то есть матожидание потерь — 35 тысяч рублей.
Не очень удачно сказано. Не доходит она до единицы в год. А если бы, например, вероятность нападения за один вечер была 0,4%, то неужели за год была бы 146%? На самом деле вероятность нападения хоть бы раз за год равна 63% = 1-(1-0,00273)^365. Тем не менее, вторая часть фразы про матожидание абсолютно верна, а единице равно матожидание количества нападений за год.
P.S. Читаю ваши книги с удовольствием, рад что будет пополнение в коллекции. Спасибо.
вместо Aliaksandr (транслит с белорусского) меня норовят обозвать Alexandr, Alexander, Aliaksander и так далее, кто во что горазд
С Александрами бывает еще изощрённее. Мы с коллегой, которого зовут как раз Александр (фамилия, скажем, Иванов), часто летаем в командировки. И когда билеты выписывает Lufthansa, и только она, их замечательный парсер превращает его в Dr. Aleksan Ivanov. Я, например, простой мистер Михаил (Mr. Mikhail), а он — доктор. Это, конечно, приятно, за минуту получить ученую степень, но в аэропорту было волнительно. Когда девушки на стойке перестали смеяться, стали думать, по какому легальному основанию следует допустить на рейс. Старшая резонно заметила, что по правилам перевозок в написании имени и фамилии допускается до трех несоответствий, а у преобразования Aleksandr -> Aleksan их всего два. А Dr не считается, потому что это обращение.
Зато после этого случая я перестал беспокоиться по поводу своей фамилии, которая в разных документах транслитерируется по-разному. И с Сашей у нас всегда наготове ответ про то, почему он Алексан — ошибка повторялась и в следующие разы.
Для интересующихся вопросом рекомендую недавнее исследование «Начал» Евклида. Авторы попытались максимально строго воспроизвести утверждения и доказательства из первой книги «Начал» и проверить их с помощью автоматизированных систем проверки доказательств (Coq, HOL Light).
В целом это удалось. Те места, которые Евклид считал очевидными, были формализованы путем добавления необходимых аксиом и теорем. Несмотря на то, что авторы исправили в доказательствах много ошибок и пробелов, общая логика была сохранена. А сами утверждения Евклида являются истинными и действительно выводятся из аксиом.
Гильберт был в общем-то прав относительно евклидовой геометрии: ее можно формализовать, обходясь без картинок. Но в поиске решения геометрических задач картинки служит важным подспорьем и источником вдохновения. Можете в этом убедиться, попробовав вписать квадрат в окружность с помощью ровно 7 прямых или окружностей: Задача 1.7 в Euclidea. Это и так сложная головоломка, а без картинки ее практически нереально решить.
Пример из французского. В нем ответ «pas question» означает не «не вопрос», как можно было бы подумать, а ровно наоборот: что об этом не может быть и речи.
Я как раз руковожу разработкой упомянутой в статье Euclidea. Некоторым кажется, что она — для математических гиков, но мы получаем обширный отклик от пользователей, доказывающий обратное. Постоянно встречаются отзывы вроде «В школе ненавидел математику, а тут зацепило — оторваться не могу!» или «Ах, вот зачем нужна была геометрия в школе!» Много писем в поддержку приходит от людей с минимальным пониманием геометрии — они бьются над задачами, пытаясь самостоятельно выяснить закономерности (учебник им почитать лениво или страшно?), просто потому что им интересно.
В другой аналогичной статье («Перестаньте говорить детям, что у вас плохо с математикой») приводятся результаты исследований, как влияет настороженное отношение родителей или учителей к математике на успехи детей. Ответ — сильно, особенно со стороны матери и особенно на девочек.
То есть, действительно: надо всего лишь не делать из математики монстра. Детям говорить и показывать, что это просто такое развлечение, игра. Можно даже не упоминать слово «математика». А сознательным взрослым не нужно пытаться прагматично искать выгоду, как и зачем это может пригодиться. Резон простой — чтобы прокачивать мозг и не превращаться в овощ. Правда, если мозг не нужен…
Я с вами полностью согласен, это четыре практически независимых стороны владения языком. Проблема не в том, чтобы понять, что человек имел в виду (с этим-то всё ясно), а в том, как это преподносится, в оформлении.
1. Начало должно было быть «По-английски читаю...» или «Английский: читаю...».
2. Фраза «пишу с ошибками» откровенна, но имеет негативный контекст (п. 20 из статьи). «Пишу средне» выглядит лучше на мой взгляд, а означает то же самое. Еще можно вспомнить Винни-Пуха: «У меня правописание хромает. Оно у меня правильное, только почему-то хромает.»
3. Лишних сокращений в резюме я бы тоже советовал избегать — «оч. хорошо», «норм.», «и т. д.»
4. Возможно, было бы проще оценить эти четыре навыка по 5-балльной шкале.
Обычно в резюме я смотрю, что хоть какой-то английский есть. Опыт показывает, что фраза типа «upper-intermediate» может означать что угодно. Поэтому на собеседовании уточняю, что имеется в виду — как раз по четырем аспектам. Если базовые знания есть — хотя бы чтобы переменные называл не транслитом + понимал документацию и письма — далее можно будет на курсы отправить доучивать.
Повидал за свою жизнь не одну тысячу резюме и не перестаю удивляться, насколько легкомысленно люди подходят к ним. От этого же судьба зависит напрямую, определяя, чем придется заниматься ближайшие если не годы, то хотя бы месяцы. И 38 пунктов — это только самые распространенные проблемы. Вот, например, небольшая подборка цитат из резюме, показавшихся… странноватыми:
«Работа: Это не имеет большого значения, она очень нужна»
«Почему именно меня взять на работу — я болею компьютером.»
«Всё знаю, всё умею, если не знаю — быстро учусь. Проблема — нет стажа.»
«Особая информация: без вредных привычек.»
«английски читаю свободно, пишу с ошибками, говорю плохо, на слух воспринимаю оч. плохо»
«Гениальный наборщик от Бога, набью любые тексты так, что они звездчато засверкают. Плюс, по желанию, корректура и редактура (тоже гениальная). Люди плачут от радости, наблюдая за моей работой.»
«Выпиваю, но без фанатизма.»
«Работа — рядом с метро, я не спортсмен, бегать не собираюсь.»
И да, на ники и адреса тоже приходится обращать внимание: miss_blondinka и crazy_doll несколько настораживают. И наоборот, когда видно, что e-mail был создан специально с целью поиска работы, то это дополнительный плюсик кандидату. Вообще, если к процессу прикладывается голова, это сразу заметно и ценится.
Спасибо за статью. Надеюсь, это поможет кому-то критически оценить свои творения и хороших резюме станет хоть немного больше.
Несмотря на то, что я описал ситуацию в шутливых тонах, ситуация с Coq ясна: люди серьезно относятся к мнению сообщества и готовы обсуждать даже такие щекотливые темы в поисках консенсуса. Если пробежаться по аргументам сторон За и Против, то картина примерно такая:
З-1: Наша название — это наследие/история!
П-1: Но оно может служить барьером для новых людей, вступающих в сообщество.
3-2: Нам просто не следует хихикать над глупыми словами, и всё.
П-2: Люди стесняются говорить Coq в разговоре, ведущемся по-английски.
З-3: Coq был разработан во Франции, где это название вполне осмысленно. Мы же не меняем английские слова из-за того, что они плохо звучат в других языках.
П-3: Да, потому что английский — основной язык научной коммуникации.
Это — диалог. И сторонники нынешнего названия сами признаются, что недооценивали важность аспектов П-1 и П-2 и ради них готовы пойти на уступки. В интернете всегда кто-то неправ, но лучше ведь жить дружно. Как раз пришла хорошая новость из другой щекотливой истории: Столлман извинился за свое поведение, и его не исключили из FSF.
Статья немного пугает, это факт. К счастью, жизнь не стояла на месте и с тех пор появился установочный скрипт — projector-installer, взявший на себя по крайней мере часть этой муторной работы. Волшебная команда install-certificate подключит имеющийся SSL-сертификат, а если его нет, то может сгенерировать самоподписанный — правда, его придется вручную добавлять в браузер.
Так что теперь нам, параноикам, чуть полегче.
Как отметили выше, с этим кодом я мог бы разобраться и сам, если бы припекло. У меня iPhone, поэтому можно было на заблокированном аппарате голосом попросить включить VoiceOver, а дальше телефон начинает говорить, какая кнопка под пальцем. Нажатие — двойным касанием. Думаю, у Android'а аналогично.
само проходитвокруг уже коронавирус вовсю бушует, просто так и не попасть. Например, в ту же клинику «Микрохирургия глаза» — только по скорой.В последний раз приступ начался поздно вечером. Решил, что лягу спать, всё и пройдет. Не прошло. Промучился ночь, потом скорая, боровшаяся с мигренью, потом на следующий день еще одна скорая, и новые обследования всего, кроме глаз, и только на третий день удалось попасть к окулисту — одному, второму, третьему, и уже тогда начали лечить.
Диагностировали глаукомоциклитический криз — резкое временное повышение внутриглазного давления. Что является его причиной, науке достоверно неизвестно. Две основные гипотезы — аллергическая реакция или результат воспаления сосудистой оболочки глазного яблока. Чаще встречается у мужчин в возрасте 30-50 лет, но случиться может с каждым. Моя ситуация поставила врачей в тупик — например, почему сразу оба глаза (обычно поражение одностороннее)? Меня допрашивали: «Диабет? Системное заболевание? Алкоголь? Наркотики? Энергетические напитки? Отравление? Баня? Переохлаждение? Сильный стресс? Нервное переутомление? Что-то еще необычное?» Всё мимо. Зато у меня нашлись и другие крайне необычные для такого криза сочетания факторов и особенностей.
Про то, чем чревато повышение глазного давления и как с этим борются (мне в итоге сделали лазерную иридэктомию), можно почитать у доктора Шиловой.
Офтальмология мощно продвинулась за последние десятилетия. С технической точки зрения её возможности выглядят порой фантастически. И даже выбор есть. Я в этом центре за полторы недели стал своего рода старожилом, заставшим несколько волн других пациентов. Выглядит как конвейер: заселили, обследовали, утром прооперировали, на следующий день отпустили. Все процессы отлажены, врачи профессиональны. Поэтому уверен, у вас всё пройдёт нормально. Удачи!
Предлагаю всем упражнение — попытаться что-нибудь поделать на телефоне с закрытыми глазами: скажем, набрать PIN-код, запустить YouTube и включить послушать определенный ролик. Если у вас всё получилось, я буду считать, что цель моего рассказа достигнута, потому что я призываю пробовать и осваивать разные способы взаимодействия с вашей техникой.
Хотя, нет… Первый вариант выглядит абсолютно утопическим — даже и не ожидал его увидеть, кликая на заголовок. Ключевое слово, меняющее смысл — «чиновники». Если его убрать, то останется хоть какая-то интрига. Вот бы дожить, когда в прекрасной России будущего содержание статьи не будет однозначно восстанавливаться по такому заголовку.
Вероятность по определению не может быть больше единицы (или 100%), увы. Ноль соответствует невозможному событию, единица — достоверному («по-любому»), остальное — в промежутке между ними.
Не очень удачно сказано. Не доходит она до единицы в год. А если бы, например, вероятность нападения за один вечер была 0,4%, то неужели за год была бы 146%? На самом деле вероятность нападения хоть бы раз за год равна 63% = 1-(1-0,00273)^365. Тем не менее, вторая часть фразы про матожидание абсолютно верна, а единице равно матожидание количества нападений за год.
P.S. Читаю ваши книги с удовольствием, рад что будет пополнение в коллекции. Спасибо.
С Александрами бывает еще изощрённее. Мы с коллегой, которого зовут как раз Александр (фамилия, скажем, Иванов), часто летаем в командировки. И когда билеты выписывает Lufthansa, и только она, их замечательный парсер превращает его в Dr. Aleksan Ivanov. Я, например, простой мистер Михаил (Mr. Mikhail), а он — доктор. Это, конечно, приятно, за минуту получить ученую степень, но в аэропорту было волнительно. Когда девушки на стойке перестали смеяться, стали думать, по какому легальному основанию следует допустить на рейс. Старшая резонно заметила, что по правилам перевозок в написании имени и фамилии допускается до трех несоответствий, а у преобразования Aleksandr -> Aleksan их всего два. А Dr не считается, потому что это обращение.
Зато после этого случая я перестал беспокоиться по поводу своей фамилии, которая в разных документах транслитерируется по-разному. И с Сашей у нас всегда наготове ответ про то, почему он Алексан — ошибка повторялась и в следующие разы.
В целом это удалось. Те места, которые Евклид считал очевидными, были формализованы путем добавления необходимых аксиом и теорем. Несмотря на то, что авторы исправили в доказательствах много ошибок и пробелов, общая логика была сохранена. А сами утверждения Евклида являются истинными и действительно выводятся из аксиом.
Гильберт был в общем-то прав относительно евклидовой геометрии: ее можно формализовать, обходясь без картинок. Но в поиске решения геометрических задач картинки служит важным подспорьем и источником вдохновения. Можете в этом убедиться, попробовав вписать квадрат в окружность с помощью ровно 7 прямых или окружностей: Задача 1.7 в Euclidea. Это и так сложная головоломка, а без картинки ее практически нереально решить.
В другой аналогичной статье («Перестаньте говорить детям, что у вас плохо с математикой») приводятся результаты исследований, как влияет настороженное отношение родителей или учителей к математике на успехи детей. Ответ — сильно, особенно со стороны матери и особенно на девочек.
То есть, действительно: надо всего лишь не делать из математики монстра. Детям говорить и показывать, что это просто такое развлечение, игра. Можно даже не упоминать слово «математика». А сознательным взрослым не нужно пытаться прагматично искать выгоду, как и зачем это может пригодиться. Резон простой — чтобы прокачивать мозг и не превращаться в овощ. Правда, если мозг не нужен…
1. Начало должно было быть «По-английски читаю...» или «Английский: читаю...».
2. Фраза «пишу с ошибками» откровенна, но имеет негативный контекст (п. 20 из статьи). «Пишу средне» выглядит лучше на мой взгляд, а означает то же самое. Еще можно вспомнить Винни-Пуха: «У меня правописание хромает. Оно у меня правильное, только почему-то хромает.»
3. Лишних сокращений в резюме я бы тоже советовал избегать — «оч. хорошо», «норм.», «и т. д.»
4. Возможно, было бы проще оценить эти четыре навыка по 5-балльной шкале.
Обычно в резюме я смотрю, что хоть какой-то английский есть. Опыт показывает, что фраза типа «upper-intermediate» может означать что угодно. Поэтому на собеседовании уточняю, что имеется в виду — как раз по четырем аспектам. Если базовые знания есть — хотя бы чтобы переменные называл не транслитом + понимал документацию и письма — далее можно будет на курсы отправить доучивать.
«Работа: Это не имеет большого значения, она очень нужна»
«Почему именно меня взять на работу — я болею компьютером.»
«Всё знаю, всё умею, если не знаю — быстро учусь. Проблема — нет стажа.»
«Особая информация: без вредных привычек.»
«английски читаю свободно, пишу с ошибками, говорю плохо, на слух воспринимаю оч. плохо»
«Гениальный наборщик от Бога, набью любые тексты так, что они звездчато засверкают. Плюс, по желанию, корректура и редактура (тоже гениальная). Люди плачут от радости, наблюдая за моей работой.»
«Выпиваю, но без фанатизма.»
«Работа — рядом с метро, я не спортсмен, бегать не собираюсь.»
И да, на ники и адреса тоже приходится обращать внимание: miss_blondinka и crazy_doll несколько настораживают. И наоборот, когда видно, что e-mail был создан специально с целью поиска работы, то это дополнительный плюсик кандидату. Вообще, если к процессу прикладывается голова, это сразу заметно и ценится.
Спасибо за статью. Надеюсь, это поможет кому-то критически оценить свои творения и хороших резюме станет хоть немного больше.