Содержание второй части:Неподвижные точки конструкторов типовНачальная F-алгебраНаибольшая неподвижная точкаКлассы типов неподвижных точек Читать далее
Слово «рекурсия» происходит от латинского «recursio» – «круговорот, возврат». Применительно к вычислениям этот термин относится к алгоритмам, повторяющих какие-либо действия. Этот обзор посвящён типам, которые обслуживают рекурсивные алгоритмы.Это вводная часть и собственно про типы здесь будет мало что сказано. Содержание:Вычислимые функцииЦиклы и рекурсияCтек и хвостовая рекурсияСсылки вперёдY-комбинатор в λ-исчисленииРеализация комбинатора неподвижной точки Читать далее
Играет в «черепашку» Привет, Хабр! В прошлом посте вы неожиданно сильно начали интересоваться тем, какие же именно админы нужны в России. Если коротко, то пока по Долине ходят толпы голодных уволенных девопсов, в России админ может спокойно получать больше разработчика. Понятное
Привет, Хабр! Меня зовут Кирилл Елисеев, я ведущий системный аналитик в МТС Диджитал. Работаю в стриме «Автоматизация тестирования на проникновение, обнаружения киберугроз и реагирования на инциденты». Сегодня расскажу про свое любимое хобби — настольный футбол (или кикер). Про
По результатам исследования, основанного на отзывах более 39000 специалистов из компаний самых разных отраслей и всех размеров, искусственный интеллект значительно влияет на эффективность разработчиков и команд (спасибо Кэп, мы догадывались). При этом на скорость доставки софта
Ранее я написал несколько статей про подключение беспроводных Zigbee-устройств к контроллеру Wiren Board. Сначала я использовал для программирования сценариев оболочку Sprut.hub, затем перешел на Node-RED. Наконец, я разобрался в языке программирования wb-rules и написал сценарии на нем. Недавно я
Всем привет! Меня зовут Павел, я Head of Development в Банки.ру. Сегодня хочу погрузиться с вами в, кажется уже давно заезженные, темы Single sign-on, OAuth, OpenID и нюансах их реализации. Здесь, на хабре, достаточно гайдов с примерами реализаций на разных языках или же, наоборот, более…
В сервисе Яндекс Переводчик мы поддерживаем перевод между 102 языками. Наша цель — обеспечивать качественный перевод для самых разных типов данных: текстов, документов, HTML, изображений и видео. Сегодня обсудим ключевой компонент для обучения моделей машинного…
Привет, я Ильдар Исмагилов, руководитель направления аналитики и прикладных исследований ИБ Innostage. В этой статье я расскажу о вопросах и проблемах, которые возникают при моделировании угроз, и как их можно решить с помощью нашего сервиса «Цифровая модель угроз». Моделирование угроз — это этап, на котором определяются актуальные угрозы ИБ для обоснованного выбора мер защиты информации для защищаемых систем. Этот процесс активно автоматизируется, и на это есть предпосылки. И какие же?
Всем привет, я программист-любитель, изучающий язык python уже многие годы.Не буду долго тянуть с приветствием и сразу перейду к делу. Этот гайд является по сути пошаговой инструкцией для создания базового кода голосового ассистента, который можно будет потом расширять и дополнять. Читать