Loading...
Articles
540
Tags
619
Categories
10
Home
Archives
Tags
Categories
About
守株阁
Search
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
关于编程语言的typing(一些基本概念)
1
2
3
magicliang
关于技术以及人生
Articles
540
Tags
619
Categories
10
Github
Announcement
人生只是,守株待兔
Recent Posts
导读:React 不是模板引擎,是一个渲染调度系统
2026-07-19
导读:TypeScript 不是给 JavaScript 加注解,是给 JavaScript 加类型系统
2026-07-19
Agent 会话边界设计:Session、Context Window 与工作状态转移
2026-07-18
2026 Coding Harness 实现图谱:Skill、上下文与扩展系统
2026-07-17
AI Coding Agent 的 Skill 加载机制深度解析
2026-07-17
Categories
AI
73
Java
63
人文
62
基础设施
57
工程实践
84
技术
42
系统架构
81
计算理论
51
Tags
影评
杨幂
诺兰
JVM
区块链
Hyperledger
Corda
私有链
联盟链
共识算法
Java
异常处理
科幻
javac
JIT
字节码
性能优化
Docker
Socket
JavaScript
KOA
数据库
MySQL
MariaDB
Linux
虚拟化
hypervisor
github
hexo
互联网金融
FinTech
Python
tag
操作系统
面向对象
编程语言
编程范式
Go
vim
大数据
Archives
July 2026
29
June 2026
78
May 2026
91
April 2026
20
March 2026
14
February 2026
17
January 2026
5
September 2025
2
Website Info
Article Count :
540
Total Word Count :
2836.3k
Unique Visitors :
Page Views :
Last Update :
簡
Search
Loading Database