Loading...
Articles
533
Tags
607
Categories
10
Home
Archives
Tags
Categories
About
守株阁
Search
Home
Archives
Tags
Categories
About
计算理论
Category - 计算理论
2026
2026-05-26
类型检查算法:证明检查算法的机械实现
2026-05-26
简单类型 lambda 演算:最小可证明系统
2026-05-26
命题即类型:Curry-Howard 同构
2026-05-26
直觉主义逻辑与 BHK 解释:什么算一个证明
2026-05-25
编译通过为什么就是定理得证:形式化方法系列导引
2026-05-21
回到工程:计算理论怎样改变写代码的眼光
2026-05-21
抽象解释:用保守近似理解程序
2026-05-21
停机问题:为什么某些判断没有通用程序
2026-05-21
通用性:一种机器怎样模拟另一种机器
2026-05-21
不用数字也能计算:Church 编码
1
2
3
…
6
magicliang
关于技术以及人生
Articles
533
Tags
607
Categories
10
Github
Announcement
人生只是,守株待兔
Recent Posts
为什么叫"测试夹具":Fixture 的词源与跨领域漫游
2026-07-14
Spark 与 Flink:两种计算引擎的设计选择
2026-07-13
性能诊断:Spark UI、Event Log 与调优思路
2026-07-13
动态资源分配与作业调度:多租户集群的资源博弈
2026-07-13
Spark on YARN / K8s:资源管理与部署模式
2026-07-13
Categories
AI
68
Java
63
人文
62
基础设施
57
工程实践
84
技术
40
系统架构
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
22
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 :
533
Total Word Count :
2879.7k
Unique Visitors :
Page Views :
Last Update :
簡
Search
Loading Database