​WAAP: эволюция WAF

WAAP (Web Application and API Protection) является брандмауэром веб-приложений следующего поколения WAF (Web Application Firewall). Термин впервые начал использовать Gartner для описания защиты современных, постоянно меняющихся web-сервисов. Так как в мире CI/CD, динамики и API first компаний, функций традиционного WAF уже недостаточно.

WAAP — это совокупность методов и технологий, которые используются для защиты веб-приложений и сервисов от атак и уязвимостей. WAAP включает в себя технологии, такие как WAF-NG, сканер уязвимостей, автоматическое обнаружение и блокирование атак 0-дня, выявление аномалий с помощью технологий Machine Learning и смарт-капчи.

​Baldur и Thor снова в игре: путь к совершенному ПО

При написании высококачественного программного обеспечения не обойтись без этапа формальной верификации. Несмотря на то, что наша жизнь уже была в некоторой степени упрощена, благодаря таким помощникам доказательства, как Coq и Isabelle/HOL, обучающим модель предсказывать один шаг доказательства за раз, оптимизация формальной верификации ещё не была достигнута.

Новый метод автоматической генерации доказательств — модель Baldur. Данный метод основывается на использовании больших языковых моделей, возможности восстановления доказательства и исправления благодаря указанию ошибки и добавлению контекста.

Baldur превосходит все существующие подходы, он может самостоятельно полностью за раз доказывать 47,9% теорем, и даже этот результат — не предел.

​Кто на новенького: как справиться со стрессом и избежать провалов при адаптации в новой компании и команде

В статье собраны рекомендации, как подготовить себя эмоционально к периоду адаптации и на каких направлениях лучше сконцентрироваться в первую очередь. Текст будет более полезен тимлидам, руководителям, менеджерам команд, но некоторые пункты актуальны и для линейных сотрудников.

​Domain Driven Design в Go — это почти не больно

Как выглядят паттерны DDD (Domain Driven Design) в большом проекте? А самое главное, стоит ли их вообще использовать? Рассмотрим, какими инструментами можно реализовать DDD на Go и оценим, насколько это больно.

​Большая разница: ИИ-наука глазами физика

Сегодня искусственный интеллект и, в особенности, машинное обучение, кажутся максимально прикладными дисциплинами. Но наблюдаемый нами прогресс стоит на плечах серьёзных фундаментальных исследований, которые не перестают двигаться дальше.

Воспользовавшись Днём российской науки в качестве повода, автор делится различиями между физикой и исследованиями в области искусственного интеллекта, которые он для себя отметил

​Оживляем автоинформатор из подмосковного автобуса

В сегодняшней статье поговорим об одном из первых массовых отечественных автоинформаторов — узнаем, как работала эта штука и какие неожиданные технологические решения есть внутри.

На прошедшей неделе мы хакали chess.com детским эксплойтом, строили лабораторию-мастерскую в деревне малыми средствами, зарабатывали на Telegram-боте при помощи нейросети и выясняли, как мошенники научились подтверждать личность в банке.

Лучшие публикации недели (5-11 февраля 2024)

#weeklydigest

​Реверс-инжиниринг программ DOS как в старом-добром 1990-м

Эта статья посвящена запуску SoftICE, популярного отладчика для DOS и Windows, в эмулированной среде MS-DOS, а также обходу недостатка Bochs, эмулятора IA-32 (x86) PC.
Весь процесс выполнялся из-под Linux.

​Бесплатные курсы для изучения C++ в 2024 году

В 2024 году в Сети доступно множество бесплатных ресурсов для изучения C++, которые предлагают высокое качество обучения. Поэтому нет необходимости платить за курсы, если вы можете получить все необходимые знания бесплатно.

9 февраля 2024 года на Солнце произошла очень мощная вспышка, которая началась в 15:53 по московскому времени и достигла максимума в 16:14.

Мощность события составила X3.3. Это вторая по мощности вспышка в текущем солнечном цикле. Рекордный взрыв на Солнце произошёл в новогоднюю ночь — 1 января 2024 года. 9 февраля светило решило ещё раз поздравить землян с Новым годом, на этот раз — с китайским.

Учёные сообщают, что февральское событие не должно повлиять на нашу планету. По уточнённой информации вспышка произошла на обратной стороне Солнца, вблизи правого края видимого солнечного диска. Примечательно, что рекордная новогодняя вспышка 1 января также наблюдалась на краю Солнца — только на левом.

Реальная мощность события, возможно, была даже выше уровня, зафиксированного на Земле. Также было зарегистрировано вторжение потоков протонов в околоземное космическое пространство.

Почти одновременно с сильным взрывом произошёл ещё один — слабее и в самом центре солнечного диска. Это привело к некоторой путанице — мировые центры данных транслировали противоречивую информацию о месте и мощности события.

Сильная вспышка 9 февраля 2024 года — это результат значительного всплеска солнечной активности, который продолжается уже несколько дней. Учёные прогнозируют, что в ближайшие дни возможны новые вспышки. Расчёты показывают высокую вероятность геомагнитных возмущений в начале следующей недели.

#космос

Разработчик Адам Ежек представил проект 24x2 RGB LED-дисплея из коммутатора Ubiquity UniFi Pro Max 48 (с технологией Etherlighting) с возможностью запускать на сетевом устройстве различные простые игры на Python, включая «Змейку» и игру типа T-Rex Dinosaur. Исходный код проекта ubnt-etherlighting опубликован на GitHub.

«Несколько простых скриптов для развлечения с коммутаторами Ubiquiti Etherlighting. Код довольно мусорный, никаких усилий по его очистке перед публикацией не предпринималось. Используйте на свой риск», — уточнил Ежек.

​Ретрокодинг на Macintosh System 7.5, Think C и ResEdit

Большинство современных программистов привыкли использовать инструменты автодополнения кода и новомодные ИИ-штучки а-ля Copilot. Они стали нормой. Эти инструменты настолько удобны, что мы начали забывать о боли и борьбе, которые сопровождали процесс разработки в далёком прошлом.

​Тестируем многоядерный процессор методом Кнута и Python'а

В 1978 году вышел третий том монографии Дональда Кнута «Искусство программирования», где автор рассматривает алгоритмы сортировки и поиска. Помимо самих алгоритмов описаны аппаратные характеристики компьютера и их влияние на производительность при работе с алгоритмами.

В 2024 году мы с вами возьмём классические алгоритмы сортировки и посмотрим, как работает современный многоядерный процессор при сортировке нескольких массивов на одном и нескольких логических ядрах

​Использование Jupyter Notebook для разведочного анализа данных: методические рекомендации

Блокноты Jupyter — один из самых неоднозначных инструментов в среде дата‑сайентистов. Одни яро критикуют Jupyter, другие горячо поддерживают этот проект. Но, тем не менее, многие согласятся с тем, что блокноты Jupyter при правильном их использовании могут быть очень ценным инструментом. Именно этому и посвящена статья.

​Процессор и ДНК: микрофлюидный чип выполняет математические вычисления и сохраняет данные в молекулах

Дезоксирибонуклеиновая кислота (ДНК) — то, благодаря чему из поколения в поколение самых разных живых существ передаётся наследственная информация, на основе которой «строятся» новые и новые организмы. Оказывается, ДНК можно использовать и в IT. Попытки предпринимаются уже достаточно давно, и время от времени становятся известны результаты, некоторые из них весьма интересны. Сейчас, в частности, разработан микрофлюидный ДНК-процессор, получивший название «лаборатория на чипе», способный не только выполнять вычисления, но также считывать и записывать данные, хранящиеся в ДНК.