Блог
Практические статьи KomuraSoft LLC о разработке сайтов, SEO, Google Ads, разработке для Windows, использовании существующих систем и расследовании сбоев.
ИИ-поиск по всему сайту
Поисковые запросы передаются в Cloudflare AI Search для формирования результатов. Не вводите персональные данные.
-
Дженерики в Ada ── контракты через типы и повторное использование без накладных расходов
Систематическое руководство по обобщённому программированию в Ada: обобщённые подпрограммы и пакеты, формальные параметры-подпрограммы, категории типов и пра...
-
Программирование систем реального времени на Ada — приоритеты, периодичность и контроль времени выполнения на практике
Изучаем Annex D Ada (системы реального времени) на 8 практических примерах кода: приоритеты задач, протокол Ceiling_Locking, периодическое выполнение через d...
-
Fable больше не в подписке, но сдаваться рано ── OpenRouter Fusion＋китайские LLM＋слой ревью
До Fable этому далеко. Но если собрать пять китайских LLM через OpenRouter Fusion и добавить ревью gpt-5.5-pro или PR-ревью Codex, получится агент для написа...
-
Безопасная конкурентность в Ada — практическое руководство по задачам и защищённым объектам
Вводная статья о встроенной в язык Ada конкурентности — задачах и защищённых объектах. Рассматриваем рандеву (entry/accept), выборочный accept, взаимное искл...
-
Введение в формальную верификацию SPARK ── от контрактов Ada к математическому доказательству
Практическое введение в формальную верификацию SPARK — подмножества Ada. Как подняться от контрактов (Pre/Post) к доказательству, как пользоваться GNATprove,...
-
Привлекательность языка Ada ── типы выражают проект, язык, который держит ПО, работающее десятилетиями
Разбираем, чем привлекателен язык Ada. Сильная типизация, ограничения диапазона, разделение спецификации и реализации через пакеты, контрактное проектировани...
-
Что такое MFC в Windows: основы для сопровождения существующих приложений
Разбираем обзор Microsoft Foundation Classes (MFC): связь с Win32, структуру приложения, карты сообщений, архитектуру Document/View, DDX/DDV и нюансы, важные...
-
Что сделать перед утилизацией Windows PC — практический чек-лист по стиранию данных, отвязке учётных записей и резервному копированию
Что стоит сделать перед утилизацией, передачей, продажей или возвратом лизингового ПК с Windows: резервное копирование, стирание данных, BitLocker, учётная з...
-
Что такое PDB (Program Database) — отладочная информация, символы и Source Link
Что такое PDB (Program Database), что в нём есть и чего нет, как он связан с Debug и Release, Portable PDB, Source Link, серверами символов и разбором дампов...
-
Roslyn: как читать, править и генерировать C# глазами компилятора
Разбираем Roslyn (.NET Compiler Platform): Syntax Tree, SemanticModel, Workspace, Analyzer, Source Generator — где это применять на практике и на что смотреть.