May 2026

All Articles - 43
2026
回到工程：计算理论怎样改变写代码的眼光
回到工程：计算理论怎样改变写代码的眼光
抽象解释：用保守近似理解程序
抽象解释：用保守近似理解程序
停机问题：为什么某些判断没有通用程序
停机问题：为什么某些判断没有通用程序
通用性：一种机器怎样模拟另一种机器
通用性：一种机器怎样模拟另一种机器
不用数字也能计算：Church 编码
不用数字也能计算：Church 编码
写一个 lambda 规约器
写一个 lambda 规约器
lambda 演算入门：函数为什么足够表达计算
lambda 演算入门：函数为什么足够表达计算
用 Python 写一台图灵机
用 Python 写一台图灵机
图灵机：纸带、读写头和最小通用计算
图灵机：纸带、读写头和最小通用计算
下推自动机：多一只栈就能处理嵌套
下推自动机：多一只栈就能处理嵌套
正则表达式如何变成自动机
正则表达式如何变成自动机
非确定性有限自动机：一次保留多个可能世界
非确定性有限自动机：一次保留多个可能世界
确定性有限自动机：状态、输入和接受条件
确定性有限自动机：状态、输入和接受条件
指称语义：把程序翻译成 Python 函数
指称语义：把程序翻译成 Python 函数
小步语义：把程序执行拆成一步一步的规约
小步语义：把程序执行拆成一步一步的规约
自己写一个解释器：大步语义与递归求值
自己写一个解释器：大步语义与递归求值
程序先变成语法树：从字符串到 AST
程序先变成语法树：从字符串到 AST
刚好够用的 Python：为《计算的本质》准备实验语言
刚好够用的 Python：为《计算的本质》准备实验语言
重读《计算的本质》：给 Java 程序员的可计算性入门
重读《计算的本质》：给 Java 程序员的可计算性入门
AgentScope 全景实战：设计速读与生产级十二层装配
AgentScope 全景实战：设计速读与生产级十二层装配
MyBatis 内部架构深度解析：从 Mapper 方法到 JDBC 执行链
MyBatis 内部架构深度解析：从 Mapper 方法到 JDBC 执行链
Harness Engineering：长程 Agent 的工程化底座
Harness Engineering：长程 Agent 的工程化底座
Agent 全景指南：从必要性、范式演化到高可用落地
Agent 全景指南：从必要性、范式演化到高可用落地
模块化与动态加载的跨平台对照：从 ClassLoader 到 BEAM、ALC、dlmopen
模块化与动态加载的跨平台对照：从 ClassLoader 到 BEAM、ALC、dlmopen
Spring AI 深度：把 LLM 抽象成新一代 JDBC（兼论 LangChain4j 与 Java 智能体框架路线）
Spring AI 深度：把 LLM 抽象成新一代 JDBC（兼论 LangChain4j 与 Java 智能体框架路线）
从 Java 8 到 Java 25 的迁移与 Spring 升级指南
从 Java 8 到 Java 25 的迁移与 Spring 升级指南
从 OSGi 到 Jigsaw：Java 模块化、SPI 与类加载器切换的真相
从 OSGi 到 Jigsaw：Java 模块化、SPI 与类加载器切换的真相
大语言模型为什么像人在说话和思考：语言能力、思考能力与可解释性边界
大语言模型为什么像人在说话和思考：语言能力、思考能力与可解释性边界
递归语言模型 RLM 推理范式深读
递归语言模型 RLM 推理范式深读
用 Skill 和 Agent 攻克老旧历史项目的学习与分析难题
用 Skill 和 Agent 攻克老旧历史项目的学习与分析难题
缓存系统设计全景——从原理到生产的完整指南
缓存系统设计全景——从原理到生产的完整指南
Multi-Agent 架构深度研究：从四种基础模式到「何时不该用多 Agent」的工程判断
Multi-Agent 架构深度研究：从四种基础模式到「何时不该用多 Agent」的工程判断
Context7 MCP Server 深度解析：AI 编程助手的实时文档检索引擎
Context7 MCP Server 深度解析：AI 编程助手的实时文档检索引擎
oh-my-claudecode vs oh-my-openagent：两大 Agent 编排框架深度对比与实用教程
oh-my-claudecode vs oh-my-openagent：两大 Agent 编排框架深度对比与实用教程
Goal 模式深度研究：从 Ralph Loop 到 Codex Runtime、Claude Judge 与 SDD Sidecar
Goal 模式深度研究：从 Ralph Loop 到 Codex Runtime、Claude Judge 与 SDD Sidecar
到底什么是多模态模型
到底什么是多模态模型
中美两国实际社会总债务是多少
中美两国实际社会总债务是多少
OpenCode 自研 SDD 流程注入方案
OpenCode 自研 SDD 流程注入方案
超成本 / 不起量 / 炸量：广告投放线上异常问题全景
超成本 / 不起量 / 炸量：广告投放线上异常问题全景
短事务与高并发缓存初始化
短事务与高并发缓存初始化
CPX / OCPX / eCPM：广告计费家族的全景图与演进版图
CPX / OCPX / eCPM：广告计费家族的全景图与演进版图
如何写好 AGENTS.md
如何写好 AGENTS.md
欧尔班败选与世界大国态度
欧尔班败选与世界大国态度
avatar
magicliang
关于技术以及人生
Articles
388
Tags
416
Categories
29
Github
Announcement
人生只是，守株待兔
Recent Posts
回到工程：计算理论怎样改变写代码的眼光
回到工程：计算理论怎样改变写代码的眼光
抽象解释：用保守近似理解程序
抽象解释：用保守近似理解程序
停机问题：为什么某些判断没有通用程序
停机问题：为什么某些判断没有通用程序
通用性：一种机器怎样模拟另一种机器
通用性：一种机器怎样模拟另一种机器
不用数字也能计算：Church 编码
不用数字也能计算：Church 编码
Categories
Tags
Flink Session Agentic Coding 存储 Security 系统分析 SSO 幽默 Java内存模型 工程化 向量数据库 JUnit 工具 CSP OpenAI Swarm 可观测性 多线程 国际政治 美国政治 源码分析 SAE Warp 迁移 SPI 奇思妙想 ServiceLoader 智能体框架 Echart RESTful Test 构建工具 职场 Ruby 科幻 DDD ClassLoader 散列 管理 语言 Logback
Archives
Website Info
Article Count :
388
Total Word Count :
2313.3k
Unique Visitors :
Page Views :
Last Update :