Loading...
Articles
753
Tags
877
Categories
15
Home
Archives
Tags
Categories
About
守株阁
Search
Home
Archives
Tags
Categories
About
读书笔记
Tag - 读书笔记
2026
2026-05-21
下推自动机:多一只栈就能处理嵌套
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 程序员的可计算性入门
1
2
3
magicliang
关于技术以及人生
Articles
753
Tags
877
Categories
15
Github
Announcement
人生只是,守株待兔
Recent Posts
总统制、内阁制与半总统制:历史沿革、权力分立与各国实践
2026-09-16
从零编写操作系统 16 - 进入用户态:让错误程序无法直接改内核
2026-09-08
从零编写操作系统 15 - 等待与唤醒:任务为什么不能一直轮询
2026-09-08
从零编写操作系统 14 - 抢占调度:时间片结束后怎样换一个任务
2026-09-08
从零编写操作系统 13 - 保存与恢复执行现场:先实现协作式任务
2026-09-08
Categories
AI
79
Java
63
人文
63
分布式系统
1
基础设施
74
运维
1
工程实践
85
技术
156
Tags
影评
杨幂
诺兰
区块链
Hyperledger
Corda
私有链
联盟链
共识算法
JVM
Java
异常处理
javac
JIT
字节码
性能优化
科幻
Docker
Socket
JavaScript
KOA
数据库
MySQL
MariaDB
Linux
虚拟化
hypervisor
互联网金融
FinTech
github
hexo
Python
面向对象
编程语言
编程范式
tag
操作系统
Go
vim
大数据
Archives
September 2026
88
August 2026
100
July 2026
54
June 2026
80
May 2026
90
April 2026
20
March 2026
14
February 2026
17
Website Info
Article Count :
753
Total Word Count :
3452.4k
Unique Visitors :
Page Views :
Last Update :
簡
Search
Loading Database