DevOps

Даже формально верифицированный компилятор может ошибаться

В 2011 году исследователи тестировали CompCert случайно сгенерированными C-программами и нашли wrong-code баг в таком выражении:

return -1 <= (1 && x);

Правильный результат — 1, но CompCert 1.6 для PowerPC возвращал 0.

Ошибка оказалась не в доказанно корректном оптимизаторе, а в неверифицированном фронтенде.

Формальная верификация защищает только те части системы, для которых действительно построено доказательство.

Иногда один отчет помогает понять рынок лучше, чем десятки новостей. Apple Hills Digital опубликовала исследование российского рынка IaaS, в котором собрала прогнозы до 2030 года, ожидания корпоративных клиентов и сравнение крупнейших облачных провайдеров.

Для DevOps здесь особенно интересны не позиции игроков, а сами тенденции. Более 80% компаний уже отмечают влияние AI/ML-нагрузок на потребление вычислительных ресурсов. Свыше половины используют гибридную инфраструктуру, а контроль облачных расходов постепенно становится такой же важной задачей, как отказоустойчивость и безопасность.

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

Исследование будет полезно тем, кто следит за развитием облаков и хочет понимать, какие требования к инфраструктуре становятся стандартом для бизнеса.

Жиза

🛡 Проверяем компьютер на майнеры, трояны и другой вредоносный софт

После новостей о заражённой версии MECCHA CHAMELEON стоит проверить систему, особенно если вы скачивали игры или программы из неофициальных источников.

Полезные инструменты:

• [Anti-Miner](https://github.com/Daiwv/Anti-Miner) — ищет скрытые майнеры в Windows и помогает удалить связанные процессы и файлы.

• [MinerSearch](https://github.com/BlendLog/MinerSearch) — сканер с эвристическим анализом, карантином и обновляемой базой угроз.

• [KVRT](https://www.kaspersky.ru/downloads/free-virus-removal-tool) — бесплатный портативный сканер для Windows и Linux. Находит вирусы, трояны, руткиты и шпионское ПО.

• [witr](https://github.com/pranshuparmar/witr) — показывает подробную информацию о запущенных процессах и помогает понять, что именно потребляет ресурсы системы.

• [MatrixDefender 4.2](https://github.com/belrinn/MatrixDefender-4.2) — Windows-инструмент для поиска RAT-троянов, майнеров и связанных угроз.

• [Maltrail](https://github.com/stamparm/maltrail) — система обнаружения подозрительного сетевого трафика по чёрным спискам и эвристическим правилам.

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

Сохраняйте подборку и проверьте компьютер.

Кто-то разобрал Claude Code почти до винтика

learn-coding-agent - репозиторий для тех, кто хочет понять, как устроены современные coding agents не на уровне промо-страниц, а на уровне архитектуры.

Автор собрал разбор Claude Code по публичным источникам: цикл агента, систему инструментов, разрешения, работу с контекстом, сессии, подпроцессы, MCP, удалённые настройки, телеметрию и скрытые флаги.

Получился не “гайд по использованию”, а карта внутренней логики CLI-агента: как он принимает решение, когда просит разрешение, как вызывает инструменты, как хранит историю и как расширяется через внешние интеграции.

https://github.com/justxor/Claudecourse/

🔍Тестовое собеседование с Head of DevOps уже завтра

28 июля(уже завтра!) в 19:00 по мск приходи онлайн на открытое собеседование, чтобы посмотреть на настоящее интервью на Middle DevOps-разработчика.

Как это будет:
📂 Александр Хренников, Head of DevOps в KTS с опытом 14+ лет, будет задавать реальные вопросы и задачи разработчику-добровольцу
📂 Александр будет комментировать каждый ответ респондента, чтобы дать понять, чего от вас ожидает собеседующий на интервью
📂 В конце можно будет задать любой вопрос Александру

Это бесплатно. Эфир проходит в рамках менторской программы от ШОРТКАТ для DevOps-разработчиков, которые хотят повысить свой грейд, ЗП и прокачать скиллы.

Переходи в нашего бота, чтобы получить ссылку на эфир → @shortcut_devops_bot

Реклама.
О рекламодателе.

⚡️ GSD Core - фреймворк для AI coding agents, который превращает хаотичный vibe coding в нормальный рабочий процесс:

* Discuss
* Plan
* Execute
* Verify
* Ship

Идея простая: сначала обсудить решения, потом собрать план, выполнить его, проверить результат и только после этого шипить.

Когда агент долго работает в одной сессии, контекст пухнет, качество решений падает, а модель начинает путаться в старых деталях.

GSD Core выносит тяжёлую работу в fresh-context subagents: исследование, планирование и выполнение идут в чистых подагентах, а основная сессия остаётся лёгкой.

Работает с Claude Code, Codex, Copilot, Cursor, Windsurf, Kimi CLI, OpenCode и другими инструментами.

Для команд, которые уже используют coding agents, это полезный слой дисциплины: меньше хаоса, больше проверяемых фаз и понятный путь от идеи до PR.

https://github.com/open-gsd/gsd-core

#OpenSource #DevTools

Миграция с Oracle и MS SQL Server — не перенос таблиц. В промышленных системах нужно сохранить бизнес-логику, интеграции, привычный интерфейс и скорость работы.

🐘Postgres Professional переводит критичные системы на российскую СУБД — предсказуемо и без потери данных.

В кейсах — проекты для госсектора, финансовых организаций, крупного бизнеса, энергетики, промышленности и 1С-инфраструктуры:

☑️ Федеральная система: 240 ТБ, 5000 транзакций в секунду, перешли на Postgres Pro Shardman без остановки сервиса.

☑️ 1С-инфраструктура: 24 базы на 26 ТБ, ускорили перенос в 4 раза.

☑️ Корпоративная СЭД: 110 000 пользователей и 300 ТБ, прокачали производительность на 60%.

☑️ Регулируемые контуры: сертифицированные редакции ФСТЭК, отказоустойчивые кластеры, бэкапы и поддержка 24/7.

🔗Изучите кейсы Postgres Professional на сайте — подробно рассказываем, как проходят миграции в системах и какие риски снимаем еще до запуска.

Docker Desktop на Mac давно ругают за прожорливость. Apple выкатила свой вариант

container - open-source инструмент от Apple для запуска Linux-контейнеров на macOS.

Он не требует Docker daemon и запускает контейнеры как лёгкие виртуальные машины на Apple silicon.

Что важно:

* написан на Swift
* оптимизирован под M-series
* работает с OCI-образами
* можно pull/push в стандартные registry
* подходит для привычных container workflow на Mac
* каждый контейнер изолирован через lightweight VM

Это не «Docker Desktop умер», но сигнал понятный: Apple хочет нативный, быстрый и более аккуратный путь для контейнеров на своих чипах.

Для разработчиков на Mac это может стать очень сильной альтернативой, особенно если Docker Desktop уже достал расходом RAM и CPU.

github.com/apple/container

Горячие клавиши Windows, которые реально экономят время ⌨️

Ctrl + A — выделить всё
Ctrl + C / X / V — копировать / вырезать / вставить
Ctrl + Z — отменить действие
Alt + Tab — переключаться между приложениями
Alt + F4 — закрыть текущее окно
Ctrl + Shift + Esc — открыть Диспетчер задач
F2 — переименовать файл или папку
F5 — обновить окно
Shift + Delete — удалить без Корзины
Shift + F10 — открыть контекстное меню
Ctrl + Home / End — в начало / конец документа
Ctrl + ← / → — прыгать между словами
Ctrl + Shift + ← / → — выделять по словам
Win + D — показать рабочий стол
Win + E — открыть Проводник
Win + L — заблокировать компьютер
Win + Shift + S — сделать скриншот области экрана

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

✔️ Kubernetes - публичная версия идей, на которых Google построила свою инфраструктуру

Google открыла Kubernetes, но код своей внутренней системы управления дата-центрами так и не показала.

Эта система называется Borg. Её начали разрабатывать ещё в начале 2000-х для запуска Search, Gmail, YouTube и других сервисов Google. Borg распределяет задачи по серверам и управляет дата-центрами как единым пулом ресурсов.

Kubernetes появился в 2014 году и унаследовал многие идеи Borg: декларативное управление, планирование контейнеров, автоматическое восстановление и масштабирование.

В 2015 году Google опубликовала научную статью с описанием архитектуры Borg. Схемы и принципы стали публичными, исходный код остался внутри компании.

В итоге весь рынок строит инфраструктуру на Kubernetes, пока Google продолжает использовать собственную закрытую систему.

Лучшие внутренние инструменты редко покидают компании, которые их создали.

Modular открыла единый стек для запуска AI-моделей на CPU и GPU

Репозиторий Modular объединяет язык Mojo и фреймворк MAX для разработки и инференса нейросетей. Платформа скрывает различия между железом и позволяет запускать популярные open-source-модели на CPU, NVIDIA и AMD без переписывания кода под каждый ускоритель.

https://github.com/modular/modular

watch запускает любую команду по кругу и показывает свежий вывод каждую секунду. Память через watch free -h, время через watch date, файлы через watch ls -l, процессы через watch "ps aux | grep nginx", сеть через watch "ip addr". Никаких ручных повторов и своих скриптов, всё видно в реальном времени прямо в терминале.

🖥 Обито учит контейнеризации.

Контейнер - это отдельное измерение для приложения.
Запускаешь сервис через Docker — и он не ломает основную систему.

Хочешь понять, что происходит внутри?
Смотри логи и заходи в контейнер через shell.

Если сервисов несколько, используй Docker Compose.
Одна команда поднимает приложение, базу данных и кеш.

А важные данные храни в volume.
Контейнер можно удалить, но данные должны остаться.

И не забывай чистить Docker.
Лишние контейнеры и образы быстро превращают систему в хаос.

Настоящий шиноби не запускает хаос.
Он изолирует его.

✔️ Google хочет «вшить» архитектуру Gemini прямо в кремний

По данным The Information, Google разрабатывает серверный ИИ-чип под неофициальным названием Frozen v2. Часть архитектуры Gemini планируют реализовать непосредственно на аппаратном уровне.

Ожидаемый результат:

- в 6–10 раз выше энергоэффективность по сравнению с последними TPU
- больше обработанных токенов при том же энергопотреблении
- снижение дефицита вычислительных мощностей Google
- возможное развёртывание уже с 2028 года

Цена такой эффективности — потеря гибкости. Если ключевые элементы модели зафиксированы в кремнии, будущие версии Gemini должны сохранять совместимую архитектуру. Крупное изменение модели может потребовать разработки нового чипа.

TPU уже снизили зависимость Google от Nvidia. Frozen v2 способен связать модели и инфраструктуру ещё теснее: Gemini будет проектироваться под конкретный кремний, а кремний — под Gemini.

Проект пока находится на ранней стадии и официально не представлен.

#google #gemini #ai #hardware #tpu

https://www.theinformation.com/articles/google-plans-new-frozen-chip-run-ai-models-efficiently

🗺️ Полный роадмап C++ 2026 — от нуля до профессионала

Это не просто список тем, а пошаговый маршрут превращения новичка в профессионального C++-разработчика. Каждый уровень даёт не только перечень концепций, но и рабочие примеры кода с пояснениями «как правильно» и «как неправильно», чтобы вы сразу видели идиоматичный современный C++, а не устаревшие практики из учебников 2000-х годов.

Роадмап построен по принципу «теория рядом с практикой»: сначала вы изучаете концепцию на коде из соответствующего уровня, а затем углубляете понимание в разделе.

📚 Теория C++, где каждая тема разобрана от базовой интуиции до тонкостей, важных на собеседованиях и в продакшене. Такой подход экономит месяцы: вы не зубрите оторванные факты, а понимаете, почему язык устроен именно так.

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

https://github.com/justxor/cpproadmap2026/tree/main

🔥 Хочешь быстрее расти в IT? Хватит учиться в одиночку

Окружение решает больше, чем кажется.

Собрал папки и каналы, где можно быстрее влиться в нужное направление, следить за трендами и не вариться в своём пузыре.

AI: t.me/ai_machinelearning_big_data
Python: t.me/pythonl
Linux: t.me/linuxacademiya
Хакинг: t.me/linuxkalii
DevOps: t.me/DevOPSitsec
Docker: t.me/DevopsDocker
Golang: t.me/Golang_google
Rust: t.me/rust_code
C++: t.me/cpluspluc
C#: t.me/csharp_1001_notes
Java: t.me/java_library
JavaScript: t.me/javascriptv
React: t.me/react_tg
Frontend: t.me/front
PHP: t.me/phpshka
Android: t.me/android_its
Мобильная разработка: t.me/mobdevelop
Базы данных: t.me/sqlhub
Data Science: t.me/data_analysis_ml
Big Data: t.me/bigdatai
Математика: t.me/data_math
Физика: t.me/fizmat
Kubernetes: t.me/kubernetc
GameDev: https://t.me/gamedev
Haskell: t.me/haskell_tg

Собеседования и карьера:

DS собеседования: t.me/machinelearning_interview
Python собеседования: t.me/python_job_interview

Папка с вакансиями: t.me/addlist/_zyy_jQ_QUsyM2Vi
Папка Go разработчика: t.me/addlist/MUtJEeJSxeY2YTFi
Папка Python разработчика: t.me/addlist/eEPya-HF6mkxMGIy
Папка ML: https://t.me/addlist/2Ls-snqEeytkMDgy
Папка Frontend: https://t.me/addlist/mzMMG3RPZhY2M2Iy

Полезное сверху:

ИТ-мемы: t.me/memes_prog
Английский для программистов: t.me/english_forprogrammers
ИИ и технологии: t.me/vistehno
954 ГБ open-source курсов: @courses
ИТ-книги бесплатно: https://t.me/addlist/BkskQciUW_FhNjEy

Max Ai: https://max.ru/ai_machinelearning_big_data
Max python: https://max.ru/pythonl
ТЕХНО: https://max.ru/vistehno
Max Go: https://max.ru/Golang_google
Max Linux: https://max.ru/linuxkalii
Devops: https://max.ru/DevOPSitsec
C#: https://max.ru/csharp_ci
C++: https://max.ru/cpluspluc
SQL: https://max.ru/sqlhub
Java: https://max.ru/javatg

Подписывайся на нужные направления и собирай себе ленту, которая реально двигает вперёд.

⚡️ Linux может читать сетевые пакеты почти напрямую

В Linux можно открыть raw socket и увидеть пакеты, которые приходят на сетевую карту.

Без Wireshark.
Без libpcap.
Без лишних инструментов.

Пример из скрина делает простую вещь:

1. создаёт socket уровня AF_PACKET
2. просит у ядра все Ethernet-пакеты через ETH_P_ALL
3. в бесконечном цикле читает их через recvfrom
4. печатает размер каждого пакета

То есть программа буквально говорит ядру:

“Отдавай мне всё, что видит сетевой интерфейс.”

И Linux отдаёт.

Почему это круто?

Потому что так становится понятно, что Wireshark - это не магия. Он тоже получает низкоуровневый трафик от системы, просто красиво его разбирает и показывает.

Обычно разработчик работает с сетью на высоком уровне:

HTTP → TCP → socket

А raw socket позволяет спуститься ниже:

Ethernet frame → IP packet → TCP/UDP → payload

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

Это один из тех примеров, после которых Linux networking перестаёт быть чёрным ящиком.

😒 Официальная библиотека промптов для Claude от Anthropic

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

⚡️Внутри собраны сотни шаблонов под самые разные сценарии:

🟦Для безопасности: готовые конструкции для проверки кода на уязвимости и анализа граничных условий работы алгоритмов.

🟦Для разработчиков: шаблоны для глубокого ревью кода, автоматического поиска багов, рефакторинга, написания юнит-тестов и проектирования архитектуры.

🟦Для автоматизации и менеджмента: промпты под стратегическое планирование, парсинг неструктурированных данных, генерацию технической документации и выстраивание логики для ИИ-агентов.

Каждый шаблон снабжен подробным разбором: авторы пошагово объясняют, почему выбрана именно такая структура запроса, как модель интерпретирует переменные и как правильно передавать контекст. Поскольку библиотека официальная, все промпты оптимизированы под особенности контекстного окна и логику мышления последних моделей семейства Claude.

❤️‍🩹Сохраняйте в закладки и внедряйте в свои рабочие процессы.

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

Если вы хотите заложить мощный фундамент начните с нашего бесплатного курса (его прошли уже 1108 человек!).

🟦Разберетесь, как работают кибератаки и как грамотно защитить свои данные.

🟦Познакомитесь с направлениями и профессиями в кибербезопасности, чтобы выбрать свой трек.

🟦Получите скидку, если решите продолжить обучение в CyberYozh Academy.

👉 Начните бесплатно прямо сейчас
🦔 CyberYozh