博客
KomuraSoft LLC 围绕网站建设、SEO、Google 广告投放、Windows 开发、既有资产利用与故障排查，分享可在实际工作中运用的思路。
网站建设、SEO、Google 广告投放、既有网站改进、Windows 开发与技术咨询都可以一并咨询。即使还处于梳理情况的阶段也没有问题。
-
用 Ada 构建实时系统编程 ── 优先级、周期、执行时间控制实战
本文通过 8 个实战代码示例，逐步学习 Ada Annex D（实时系统）所提供的实时功能——任务优先级、Ceiling_Locking 协议、delay until 的周期执行、Ravenscar 配置文件、定时事件、保护队列、按任务度量执行时间、多周期集成。
-
Fable 不能用了，但还没到放弃的时候 ── 靠 OpenRouter Fusion＋国产 LLM＋审查层硬撑
远远比不上 Fable。但只要用 OpenRouter Fusion 组合 5 个国产 LLM，再叠加一层 gpt-5.5-pro 或 Codex 的 PR 审查，就能做出比纯 gpt-5.5 好用得多的编程代理。
-
Ada 中的安全并发处理 ── 任务与保护对象实战指南
本文是关于 Ada 语言内置并发处理机制——任务(task)与保护对象(protected object)的实战入门文章。内容涵盖会合(entry/accept)、选择性接受(select)、生产者消费者模式、保护对象实现的互斥控制、带屏障的保护入口、带超时的调用，以及任务优先级与实时调度，从安全并发处理的基础一...
-
SPARK形式化验证入门 ── 从Ada的契约走向数学证明
本文是使用Ada子集语言SPARK进行形式化验证的实务入门文章，整理从契约（Pre/Post）进阶到证明的方法、GNATprove的使用方式、循环不变式、数据流契约、证明等级，以及在实际项目中导入的方法。
-
Ada 语言的魅力 —— 用类型阐述设计，支撑运行数十年软件的语言
介绍 Ada 语言的魅力。从强类型、范围约束、用包分离规格与实现、契约式设计、语言内置的任务（task）、SPARK 形式化验证，到 GNAT 与 Alire 开发环境，整理支撑高可靠软件的设计理念。
-
Windows 的 MFC 是什么 —— 维护现有资产所需的基础知识
整理 Microsoft Foundation Classes（MFC）的概要、与 Win32 的关系、应用程序结构、消息映射、Document/View、DDX/DDV，以及维护时需要注意的要点。
-
报废 Windows 电脑前应该做的事 —— 数据清除、账户解绑、备份的实务检查清单
本文整理在报废、转让、出售、归还租赁的 Windows 电脑之前应该做的事，涵盖备份、数据清除、BitLocker、Microsoft 账户、OneDrive、公司账户、开发者电脑特有的敏感信息，以及报废记录留存等要点。
-
PDB（程序数据库）是什么 ── 理解调试信息、符号与 Source Link
整理 PDB（Program Database / 程序数据库）到底是什么、里面有什么、没有什么，以及它与 Debug / Release、Portable PDB、Source Link、符号服务器、Dump 分析之间的关系，供实务参考。
-
Roslyn 是什么 —— 从编译器视角读取、修复、生成 C# 代码
本文整理 Roslyn（.NET Compiler Platform）的概览：Syntax Tree、SemanticModel、Workspace、Analyzer、Source Generator，以及在实务中的适用场景与注意事项。
-
委托开发 Windows 应用程序前该梳理的事项
在委托外包开发 Windows 应用程序之前，梳理现有软件改造、设备联动、COM/ActiveX、发布与更新、维护等需要注意的要点。