Loading...
Articles
388
Tags
416
Categories
29
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 程序员的可计算性入门
2026-03-04
AI 读书笔记
1
2
3
magicliang
关于技术以及人生
Articles
388
Tags
416
Categories
29
Github
Announcement
人生只是,守株待兔
Recent Posts
回到工程:计算理论怎样改变写代码的眼光
2026-05-21
抽象解释:用保守近似理解程序
2026-05-21
停机问题:为什么某些判断没有通用程序
2026-05-21
通用性:一种机器怎样模拟另一种机器
2026-05-21
不用数字也能计算:Church 编码
2026-05-21
Categories
AI
5
Agent
1
AI Agent
1
AI 工程
2
AI工程
4
开发工具
1
组织变革
1
Java
5
Tags
Flink
Session
Agentic Coding
存储
Security
系统分析
SSO
幽默
Java内存模型
工程化
向量数据库
JUnit
工具
CSP
OpenAI Swarm
可观测性
多线程
国际政治
美国政治
源码分析
SAE
Warp
迁移
SPI
奇思妙想
ServiceLoader
智能体框架
Echart
RESTful
Test
构建工具
职场
Ruby
科幻
DDD
ClassLoader
散列
管理
语言
Logback
Archives
May 2026
43
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 :
388
Total Word Count :
2313.3k
Unique Visitors :
Page Views :
Last Update :
簡