博客
KomuraSoft LLC 围绕网站建设、SEO、Google 广告投放、Windows 开发、既有资产利用与故障排查，分享可在实际工作中运用的思路。
全站 AI 搜索
搜索关键字会发送至 Cloudflare AI Search 以生成结果,请勿输入个人信息。
-
用 Power Automate 实现业务自动化 ── 云端流程与桌面流程的分工，以及错误处理设计
本文整理 Power Automate 云端流程与桌面流程的区别、与 PowerShell / VBA 的分工、许可证、错误处理、UI 自动化的稳定化，以及凭据信息的安全处理，提供把业务自动化落地到生产环境的实务设计指南。
-
Ada 的泛型编程 —— 用类型编写契约，零成本实现代码复用
系统讲解 Ada 的泛型编程，涵盖泛型子程序、泛型包、形式子程序参数、类型类别、正式包参数，以及实务中的设计方针。结合 Mermaid 图与实例，整理类型安全的复用与零成本抽象的理念。
-
用 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 分析之间的关系，供实务参考。