张显达 zxd blog
  文章分类
前端 25 后端 42 软件设计 22 数据库 9 软件工具 14 编程之道 9 人工智能 37 推荐工具 10 AI安全 7 Java 16 技术快报 6 工具链 2 工具 1 云计算 2 软件开发 2 网络安全 13 前端技术 2 物联网 10 可持续科技 1 量子计算 10 增强现实/虚拟现实 1 软件工程 10 消费电子 1 数字治理 10 Python 9
认知复杂性管理：软件设计的隐形维度 认知复杂性管理：软件设计的隐形维度
认知复杂性的本质软件开发的核心挑战不是技术复杂性，而是认知复杂性——人类理解和操作复杂系统的能力限制。认知科学研究表明，人类工作记忆只能同时处理7±2个信息块，而现代软件系统通常包含数百万行代码和复杂的交互模式。这一根本矛盾决定了软件设计的
2025-09-23 编程之道
认知复杂性 软件设计 心智模型 抽象设计
形式化验证的工业实践：如何验证百万行级代码库的正确性 形式化验证的工业实践：如何验证百万行级代码库的正确性
实践案例 AWS Nitro系统：使用TLA+验证hypervisor安全隔离属性 Linux驱动：通过Coq证明关键设备驱动无内存泄漏 金融交易系统：应用Alloy建模订单匹配算法 工具链对比 工具 适用场景 学习曲线 验证效率
2025-09-22 编程之道
形式化验证 静态分析 代码正确性
编程之道：Rust异步生态、TypeScript类型体操与低代码平台协作模式 编程之道：Rust异步生态、TypeScript类型体操与低代码平台协作模式
今日速览 Rust异步工作组发布Tokio 2.0，引入零成本异步堆栈跟踪与跨线程任务迁移，简化复杂异步系统调试（Rust博客，2025-09-20）。 TypeScript团队推出”类型体操”挑战赛，展示高级类型系统技巧，包括递归类型、条
2025-09-21 编程之道
TypeScript Rust 低代码
编程之道：Go 2.0路线图、TypeScript类型系统革新与低代码开发者体验 编程之道：Go 2.0路线图、TypeScript类型系统革新与低代码开发者体验
今日速览 Go团队公布2.0路线图，计划引入泛型约束改进、错误处理简化与并发安全机制，同时保证与1.x代码的兼容性（Go博客，2025-09-19）。 TypeScript 6.0预览版发布，引入类型级状态机、递归类型简化与条件类型性能优化
2025-09-20 编程之道
Go语言 TypeScript 低代码平台
编程之道：Rust 迁移启示、C# 效率战与绿色代码 编程之道：Rust 迁移启示、C# 效率战与绿色代码
今日速览 Momento 分享将核心组件从 Kotlin 重写为 Rust 的全过程，重点聚焦 tail latency 回归、存储抽象拆分与性能回归测试（InfoQ，2025-09-18）。 Tracebit 创始人总结为何在创业初期选用
2025-09-19 编程之道
工程文化 语言选型 绿色软件
编程之道：以 C# 冲刺创业速度，与组织共成长 编程之道：以 C# 冲刺创业速度，与组织共成长
观点速递 InfoQ 分享的《Questioning Convention: C# as a Shortcut to Startup Velocity》案例表明，现代 C# 生态凭借开源库、集成工具和高性能运行时，足以支撑初创团队快速迭代并
2025-09-18 编程之道
C# 职业发展 工程文化
面向对象编程的理解 面向对象编程的理解
面向过程和面向对象面向过程思想概述面向着具体的每一个步骤和过程，把每一个步骤和过程完成，然后由这些功能方法相互调用，完成需求。 面向对象思想概述当需求单一，或者简单时，我们一步一步去操作没问题，并且效率也挺高。可随着需求的更改，功能的增多，
2018-10-21 编程之道
Java 面向对象编程
代码整洁之道内容概要 代码整洁之道内容概要
读了代码整洁之道，觉得这本书写的很好，所以就将里面自己觉得很经典的内容记录下来，作为自己以后写代码的标准和准则。同时也为那些曾经困惑过的人一点参考吧！ 一、在正式开始之前，我们先思考几个几个问题：1.需求与代码哪个重要？答：并不是所有的产品
2018-10-15 编程之道
整洁代码 重构 测试
Google Java编程风格指南 Google Java编程风格指南
1 前言这份文档是Google Java编程风格规范的完整定义。当且仅当一个Java源文件符合此文档中的规则，我们才认为它符合Google的Java编程风格。 与其它的编程风格指南一样，这里所讨论的不仅仅是编码格式美不美观的问题，同时也讨论
2018-10-05 编程之道
Java Google