Posted in Go语言基础和工具链Go编写Move Prover插件实战：让形式化验证从“博士课题”变成每日CI环节 第一章：Go编写Move Pro … Go编写Move Prover插件实战：让形式化验证从“博士课题”变成每日CI环节Read more by Gopher老张|2026年2月22日|Go语言编程实践, 智能合约安全, CI/CD集成Go环境, Coq形式化验证, Prover, runtime.memmove
Posted in 其他Go技术布道英文PPT制作心法：用3个动词（Design, Prove, Ship）重构Slides叙事逻辑 第一章：Go技术布道英文PPT制 … Go技术布道英文PPT制作心法：用3个动词（Design, Prove, Ship）重构Slides叙事逻辑Read more by 架构思考者|2026年2月14日|英文PPT制作, Slides叙事逻辑, 技术演讲设计, Starship终端美化, Prover, Design规范, Go语言技术布道者
Posted in Go语言基础和工具链Go语言含义认知革命：抛弃“语法→功能”线性理解，建立“语义→约束→可证性”三维模型（附Go Prover验证案例） 第一章：Go语言含义解释 Go语 … Go语言含义认知革命：抛弃“语法→功能”线性理解，建立“语义→约束→可证性”三维模型（附Go Prover验证案例）Read more by 性能优化专家|2026年2月5日|Go语言编程实践, Go动态加载, 语义模型, 约束编程, 可证性验证, Prover
