Kurgan-Telecom Ru | Информационные технологии

Сейчас математика вступает в свой второй (после появления в 1931 году теоремы Геделя о неполноте) кризис (или драматический период), связанный с активным проникновением в математику ИИ. Большинство из нас не являются профессиональными математиками и даже математиками-любителями, но нужно понимать, что этот непростой период в математике так или иначе затронет и другие области знаний, которые тесно с ней связаны...

@avshkol, как исследователь тенденций в технологиях, не смог пройти мимо этой разворачивающейся ИИ-трансформации математики и сделал перевод слайдов презентации знакового выступления на эту тему — лекции ведущего математика Теренса Тао на Международном конгрессе математиков (International Congress of Mathematicians) 24 июля 2026 года. Изучение этого доклада будет полезно для всех, кто интересуется математикой, тенденциями в ИИ и историей науки. Статья будет дополняться материалами, в т.ч. видео и мнениями, критическими комментариями других математиков о проблемах ИИ в математике и о вопросах, поднятых в этом докладе.

Понадобилось научить десктопную программу принимать лицензионные ключи: строка из письма вставляется руками и проверяется без интернета. Во что это вылилось?

Интернет приписывает Джейсону Стейтему фразу «Одна ошибка — и ты ошибся!». В случае этой истории она почему‑то сама собой переиначилась в вариант из заголовка. Уж очень всё оказалось из серии «никогда так не делай».

24 июля исследователь BobDaHacker опубликовал разбор Click to Pray — официального приложения Всемирной сети молитвы Папы Римского.

В сервисе на тот момент было 719 517 зарегистрированных аккаунтов. У пользователей были последовательные числовые ID, а API позволяло запросить профиль по ID:

   Рассмотрим следующую задачу: Пусть соленоид имеет следующие размеры:высота 2h, внешний радиус R2, внутренний R1<R2.В полость вставлен цилиндрический стальной сердечник  радиуса R1, высоты 2h.На него равномерно, очень плотно и под прямым углом намотана медная проволока круглого сечения  диаметра d, причём d очень мало по сравнению с размерами соленоида. По обмотке течёт постоянный ток I(рассмотреть возможность переменного тока I(t)) , направленный по часовой стрелке. Требуется определить магнитное поле B (x,y,z, t) внутри, снаружи соленоида и в сердечнике.

Некоторые производители поставляют свои прошивки в незашифрованном виде, без защиты от реверс-инжиниринга и даже с debug-символами. Еще 5 лет назад, для того чтобы раскопать что-то в такой прошивке приходилось копаться с binwalk, делать свои скрипты и просматривать множество файлов вручную на предмет чего-нибудь интересного.

Написать систему и эксплуатировать систему — две очень разные инженерные задачи. Первая заканчивается на «работает под нагрузкой». Вторая начинается с вопросов, которые задаёт человек на дежурстве: что упало ночью и как это переиграть? кто нажал force‑stop? можно ли выкатить патч библиотеки, не пересобирая весь рантайм? почему пароль сервис‑аккаунта видно на странице дашборда?

Прошлые релизы нашей экосистемы отвечали на первый вопрос. 3.4.0 — целиком про второй.

Напомню, из чего экосистема состоит: типизированное хранилище redb поверх Postgres/MSSQL/SQLite, интеграционный движок redb.Route (наш ответ Apache Camel под.NET, 30+ коннекторов), рантайм redb.Tsak с дашбордом, hot‑reload и кластером, и сервер идентичности redb.Identity (OIDC/OAuth 2.1). Всё это работает у нас в проде и публикуется пакетами, образами и standalone‑архивами.

В 3.4.0 появились четыре вещи, каждая из которых — про день после деплоя:

Все поинты ниже применяются при общении, промптинге и ежедневной работе с AI - и во многом они пересекаются с тем, как общаются люди между собой.

«Нельзя ошибаться» → Ошибаться это нормально. Спрашивайте проанализировать и исправить их, создавайте культуру инструментов и регрессионного тестирования, чтобы отлавливать и разбирать ошибки (то есть занимайтесь развитием engineering stewardship).

Угрозы / Неэтичная лексика → Относитесь к общению с AI так же, как к общению с любым человеком. Поощряйте сотрудничество, креативность, ответственность и чувство собственности (ownership). Делегируйте и …

Свежий отчет «Лаборатории Касперского» разбирает два недавних инцидента в Латинской Америке, в ходе которых организации стали жертвой кибервымогателей. Оба инцидента, произошедшие в мае этого года в Мексике и в июне в Колумбии, удалось подробно проанализировать, в результате чего стали понятны методы взлома корпоративной инфраструктуры, а также дальнейшие шаги киберпреступников. Примечательно, что в обоих случаях для шифрования данных с последующим требованием выкупа использовался штатный инструмент Windows, известный как BitLocker.

Значок, указывающий на то, что диск зашифрован, стал первым признаком кибератаки, который заметили в организации. Точкой входа в инциденте, произошедшем в Колумбии, стала доступная из Интернета служба удаленного рабочего стола (RDP) на сервере, к которому, в свою очередь, был подключен жесткий диск объемом 8 терабайт с критически важными финансовыми данными. Злоумышленники сначала получили контроль над системой, изменили учетные данные пользователей, а затем применили шифрование. Еще одной любопытной особенностью данной атаки стала печать записки с требованием выкупа прямо на корпоративных принтерах в офисе организации.

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

В статье разберём, как строить конвейеры на System.Threading.Channels: настраивать обратное давление, корректно завершать обработку, не терять исключения и безопасно использовать каналы в ASP.NET Core.

Язык, который придумали, чтобы программисты стали не нужны, породил профессию, которая жива до сих пор и неплохо оплачивается, а другой язык назвали "структурированным английским", и думали, что на нем сможет писать любой бухгалтер, и он тоже породил новую специальность со своей зарплатной вилкой. А еще была попытка сделать "программирование без программистов к двухтысячному году", но и он дал обратный результат.

Думаю вы узнали COBOL, который по сей день ежедневно эксплуатируется и по разным оценкам стоит за 80% обычных (магазинных) банковских транзакций, а его кодовая база тянет на пару сотен миллиардов строк и до сих пор кормит десятки, если не сотни тысяч разработчиков. Правда, если копнуть эти красивые цифры, почти все они восходят к одному опросу конца девяностых, который потом бесконечно переэкстраполировали на весь мир, так что честнее считать их порядком величины, а не точными данными.

SQL породил особую касту DBA (Database Administrators) и Data Engineers и сегодня человек, который пишет "простые запросы", может легко зарабатывать на уровне мидла, а сам язык стал настолько сложным, что современные диалекты (PostgreSQL, Oracle) - это полноценные языки программирования с процедурной логикой, где можно написать всё что угодно, от генератора фракталов до игрового движка.

Семейство 4GL оказалось "золотой клеткой" и прекрасно работали, пока нужно было сделать типичную форму "ввод-вывод", но как только требовалась нестандартная бизнес-логика или интеграция с внешним сервисом, инструмент упирался в свои границы и программистам приходилось дописывать "костыли" на низкоуровневых языках, что превращало разработку в адский коктейль из визуального дизайна и грязных хаков. И вместо исчезновения программистов, 4GL создали "архитекторов корпоративных систем", которые (например, SAP ABAP), стали невероятно дорогими специалистами, и тоже не устранил программирование, а просто переместил его из зоны "универсальных языков" в зону "дорогих и капризных инструментов", привязывающих компанию к конкретному вендору.

Каждые десять-пятнадцать лет индустрия торжественно объявляет, что писать код руками больше не придётся, продавая новый способ "объяснить машине задачу на нормальном человеческом языке". И каждый раз через несколько лет выясняется, что программистов стало не меньше, а больше, просто теперь они называются иначе. Предположу, что сейчас мы проживаем очередной виток этого цикла, и новое название таким людям будет вайбкодеры, и думаю этому инструменту, уготована та же судьба, что и у предыдущих попыток.

Для своего пет-проекта мне понадобилась удобная система фильтрации, плюс я хотел попрактиковаться в кодогенерации Roslyn. В этой статье продолжаю рассказывать о гибкой фильтрации данных в EF Core на Exression. Расскажу как мне удалось реализовать новые фичи (строгий контракт с фронтом, операторы сравнения, автоматический null-guard) выиграв при этом в производительности в рантайме.

Знакомая ситуация: задача ушла в работу, а через неделю выясняется, что сроки горят, фронтенд мычит, а результат вообще не то, что вы просили. Обычно в этом винят разработчиков. Но давайте честно: часто проблема начинается еще на этапе аналитики.

Мое глубокое убеждение: лучший аналитик - это разработчик. Или человек, который научился думать как разработчик. Любая дорога хорошего разраба в будущем ведет в аналитику или архитектуру, потому что без понимания системы на уровне кода делать качественные продукты невозможно.

Кстати, спойлер для тех, кто думает, что нейросети и вайбкодинг скоро заменят аналитиков и продактов. Не заменят. ИИ генерит код, но только если ему скармливать идеальные промпты. А идеальный промпт - это и есть грамотно написанная задача. Так что прокачка этого навыка - ваша личная страховка от вымирания. Сеньор, который пишет ТЗ так, что ИИ (или джун) собирает из него рабочий интерфейс без вопросов - это новая реальность.

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

Меня зовут Викторина Юрьевна Савельева, мне 87 лет, и сегодня я подвожу определенные профессиональные итоги. Хочу поделиться результатами одной уникальной работы, которая была выполнена в далеком 1991 году по прямому заказу Сургутской ГРЭС-2.

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

О каком оборудовании идет речь?

В работе рассматривались сложные вопросы динамики системы возбуждения турбогенератора ТВВ-800 с автоматическим регулятором возбуждения сильного действия АРВ‑СДП1 (изготовления ПО «Электросила», которое сегодня входит в состав АО «Силовые машины»).

Для понимания масштаба: Сургутская ГРЭС-2 — самая мощная тепловая электростанция в России и крупнейшая в мире из работающих на попутном нефтяном газе. Агрегаты ТВВ-800 — это классический, сверхмощный энергетический комплекс, составляющий основу советских энергоблоков мощностью 800 МВт. Самое интересное, что прямо сейчас, в 2020-х годах, эти машины проходят масштабную модернизацию, а значит — расчеты их динамики снова актуальны.

В чем суть метода?

Исследование выполнено методом Логарифмических Амплитудно‑частотных Характеристик (ЛАХ) без решения громоздких характеристических уравнений.

В свое время работа получила отличную оценку во Всесоюзном Энергетическом Институте (ВЭИ) ещё Советского Союза. Тогда нам официально рекомендовали продолжать более глубокие исследования в этом направлении.

Точнее, на Spec Kit от GitHub. Полгода назад я бы над этим посмеялся: спеки, планы, декомпозиция задач - привет из 2010-го, когда это называлось waterfall и все дружно от него убегали. Оказалось, убегали не от спек, а от того, что их писали люди и потом никто не читал. В этой статье расскажу, где я отхожу от стандарта в угоду скорости.

Что такое SDD в исполнении Spec Kit по сути…

Игрок пишет: «Пока орк отвлечён, я тихо выхватываю меч и прыгаю в окно». Для человека за столом это один ход. Для бота — разбор фразы на атомы, зависимости и броски, иначе «выхватываю» случится после «прыгаю» и всё запутается. Ниже — как ИИ превращает такую реплику в исполняемый граф действий.

Эта статья — разбор архитектурного пайплайна для детерминированной обработки свободного текста. В качестве кейса — ДнД‑бот, где вместо надежды на «умную LLM» я использую атомизацию, граф зависимостей и специализированных агентов. Будет полезно всем, кто проектирует сложные LLM‑системы обработки запросов и пытается победить галлюцинации и высокую стоимость токенов.

Однако я постарался использовать максимально простой язык, чтобы рассказать не связанным с разработкой игрокам, как ДнД‑бот из их запроса создаёт логичный и лаконичный ответ мастера.

Итак, поехали!

Moonshot AI выпустила веса Kimi K3 — мультимодальной MoE‑модели с 2,8 трлн параметров, из которых на каждом токене активируются 104 млрд. В отдельных тестах программирования и работы с инструментами K3 обходит Claude Opus 4.8, GPT-5.5, GPT-5.6 Sol или Claude Fable 5. Однако сводить релиз к таблице результатов было бы ошибкой: сама Moonshot признаёт в техническом отчёте, что в среднем модель уступает Fable 5 и GPT-5.6 Sol.

Как следует из технического блога Moonshot, все решения K3 проектировались совместно: гибрид Kimi Delta Attention и глобального MLA, Attention Residuals, MoE на 896 экспертов, обучение длинных агентных траекторий и отдельная система кеширования. Разберём, какие задачи решает каждый компонент, что подтверждено опубликованными материалами и где отчёту Moonshot пока приходится верить на слово.

На протяжении многих лет использования git я выявил для себя одну серьезную проблему, которую этот инструмент не дает возможности разрешить удобным способом. Я назвал эту проблему “проблемой длинного прыжка”. Суть такова: у вас есть старая залежавшаяся ветка, которая отстает от main-ветки на сотни и тысячи коммитов. Задача - обновить эту старую ветку до свежего main. Все усугубляется тем, что у вас тяжеловесный репозиторий: гигабайты, десятки или сотни гигабайт.

В списке рассылки linux-cve-announce за период с 09:09 19 июля до 16:27 20 июля 2026 года было опубликовано 432 сообщения об уязвимостях в ядре Linux. Записи получили отдельные идентификаторы CVE и появились в открытом архиве рассылки.

На необычно крупную партию объявлений обратил внимание специалист по безопасности Ян Шауманн. В сообщении для списка oss-security он отметил, что такой поток показывает практическую невозможность вручную оценивать и расставлять приоритеты для каждого отдельного исправления ядра. В качестве наиболее надёжного подхода он назвал регулярное обновление всего парка систем, признав, однако, что в реальной инфраструктуре это не всегда легко осуществить. Исходное обсуждение опубликовано на Openwall.

( читать дальше... )

 cve, linux, безопасность, уязвимость

Недавно был принят законопроект № 1194918–8 «О цифровых валютах и цифровых правах», который разрешил выпуск ЦФА в России с использованием так нахзываемых информационных систем, организованных не в соответствии с российским правом — в простонародье, публичных блокчейнов.

И первым, кто уже успел этим воспользоваться — Сбер. Давайте посмотрим, что они выкатили.

Методология описания и внедрения ERP-систем или как перейти на 1C ERP быстро, качественно, дешево

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