В части 2 мы закончили с определениями всех формальных терминов и символов, которые вы можете увидеть в вопросе на StackOverflow об алгоритме Хиндли-Милнера. Так что теперь мы готовы перевести, о чём же там спрашивается, а именно — правила вывода утверждений…

В части 1 мы говорили о том, какие строительные блоки нужны для формализации Хиндли-Милнера, а в этом посте мы конкретизируем их определения и сформулируем формализацию в целом:

Как-то мы сидели в баре с Джошем Лонгом и ещё несколькими друзьями с работы, когда он обнаружил, что я на «эй, ты!» с математикой. А он как раз недавно наткнулся на вот этот вопрос на StackOverflow и сейчас спросил меня,…

Всем добрый день. Команда Русоникса решила проблемы с электричеством и написала прекрасный пост с красивыми картинками про «Распределенную брутфорс-атаку на CMS с точки зрения хостера». Впрочем, там не хватает одного — собственно реализации. Итак, цели этого поста: Эскизная реализация описанной…

Наш архитектор департамента серверной виртуализации Павел Емельянов дал интервью журналу «Системный администратор». Поскольку журнал бумажный, мы публикуем здесь его интервью, в котором он рассказал о проекте CRIU, о том, как команда разработчиков работает с Linux-сообществом и с Линусом Торвальдсом, и…

— Расскажите, с какими трудностями вы столкнулись во время запуска конструктора сайтов Fo.ru? С инвестором была договоренность, что в течении 6 месяцев мы разработаем и опубликуем проект в интернете. Основные проблемы были связаны с персоналом. И, изначально, самой первой проблемой…

4G LTE — связь нового поколения (http://ru.wikipedia.org/wiki/4g), позволяющая достичь невиданных ранее скоростей мобильного интернета. Мегафон первым в России сделал возможным использование 4G на смартфонах (моя заметка об этом). Я опробовал эту технологию — весь июль у меня с собой была…

Позавчера (13 августа) Владимир Зыков в «Известиях» огласил имеющиеся у российского МВД планы (достигшие, к сожалению, стадии законопроекта), нацеленные на запрет упоминания в СМИ и в Интернете способов и технологий изготовления взрывчатых веществ и взрывных устройств. Законопроект предусматривает штрафы, способные достигать миллиона рублей, а также блокировки сайтов и изъятия компьютеров. На поверхности…

Последний месяц, в связи с недавними событиями — закрытием почтового сервиса с шифрованием LavaBit, заявлениями Гугла, что Gmail не гарантирует безопасность данных, переходе крупнейших email-сервисов Германии на шифрование писем, в Интернете все чаще стали говорить об обеспечении конфиденциальности частной переписки.…

Привет! Моя работа – разработка продуктов в Yota Devices. Мы выпустили новый LTE-роутер, в котором отшлифовали всё до мелочей. Думаю, вам будет интересно узнать, как шла разработка. Начну с описания устройства. Во-первых, это роутер, который принимает сигнал 4G, 3G или…