Loading...
Articles
445
Tags
484
Categories
32
Home
Archives
Tags
Categories
About
守株阁
Home
Archives
Tags
Categories
About
计算理论
Tag - 计算理论
2026
2026-05-21
正则表达式如何变成自动机
2026-05-21
非确定性有限自动机:一次保留多个可能世界
2026-05-21
确定性有限自动机:状态、输入和接受条件
2026-05-20
指称语义:把程序翻译成 Python 函数
2026-05-20
小步语义:把程序执行拆成一步一步的规约
2026-05-20
自己写一个解释器:大步语义与递归求值
2026-05-20
程序先变成语法树:从字符串到 AST
2026-05-20
刚好够用的 Python:为《计算的本质》准备实验语言
2026-05-20
重读《计算的本质》:给 Java 程序员的可计算性入门
2021
2021-03-09
计算的本质
1
2
magicliang
关于技术以及人生
Articles
445
Tags
484
Categories
32
Github
Announcement
人生只是,守株待兔
Recent Posts
AI Coding Agent 的 Hook、Loop 与插件体系:Codex、Claude Code、OpenCode 和 OMC 的运行时解剖
2026-06-13
Agent 互操作协议全景:MCP、A2A、AG-UI 和 Agent Runtime 的分层地图
2026-06-13
AI Coding 工具全景与 Harness Engineering:从产品形态到验证闭环
2026-06-13
睡后 Token 与 Cloud Agents:AI Coding 的工程分工
2026-06-13
深翻页的本质:从 RDBMS 到 ES 和 Hive
2026-06-13
Categories
AI
6
Agent
1
工程架构
1
AI Agent
1
AI 工程
2
AI工程
4
开发工具
1
组织变革
1
Tags
推荐算法
模型检查
类型论
安全
Compound AI Systems
金融
Subagent
密码学
数据调查
工具
eCPM
Warp
计算机体系结构
单元化
文学
内存
特朗普
Graphify
Spring Boot
OAuth
Logging
区块链
AGENTS.md
Maven
数学
印度制造
人工智能
投资
计算机组成原理
Hyperledger
Agent架构
Logback
RAG
consensus
数据口径
运维
保险
CLI
代码理解
Ethereum
Archives
June 2026
9
May 2026
92
April 2026
20
March 2026
14
February 2026
17
January 2026
5
September 2025
2
August 2025
2
Website Info
Article Count :
445
Total Word Count :
2545.4k
Unique Visitors :
Page Views :
Last Update :
簡