Loading...
Articles
420
Tags
444
Categories
31
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
420
Tags
444
Categories
31
Github
Announcement
人生只是,守株待兔
Recent Posts
U型思考法:从表象到本质的深度思维模型
2026-05-24
情绪提示词:用心理学手段提升 LLM 性能的研究综述
2026-05-24
回到工程:Linux VM 如何改变性能诊断
2026-05-24
OOM Killer:内核什么时候决定杀进程
2026-05-24
cgroup memory:内存从全局资源变成局部预算
2026-05-24
Categories
AI
5
Agent
1
AI Agent
1
AI 工程
2
AI工程
4
开发工具
1
组织变革
1
Java
5
Tags
Vibe Coding
MapReduce
安全
计算机基础
工程化
git
OAuth
机器学习
skill-creator
macOS
抓包
并发编程
数据挖掘
云原生
Go
Agent Teams
Context Engineering
自我提升
英语
数据调查
会议
性能优化
科幻
单元化
文档检索
存储
Freedom Caucus
JDK
迁移
操作系统
数据口径
Trinity-RFT
JVM
XSS
面向对象
Multi-Agent
Skill
Vue
JPA
匈牙利
Archives
May 2026
75
April 2026
20
March 2026
14
February 2026
17
January 2026
5
September 2025
2
August 2025
2
July 2025
14
Website Info
Article Count :
420
Total Word Count :
2441.2k
Unique Visitors :
Page Views :
Last Update :
簡