Loading...
Articles
492
Tags
548
Categories
8
Home
Archives
Tags
Categories
About
守株阁
Search
Home
Archives
Tags
Categories
About
计算理论
Category - 计算理论
2026
2026-06-21
共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft
2026-05-26
附录:Curry-Howard-Lambek 三角,范畴论第三条腿
2026-05-26
收束:作为日常工具的形式化
2026-05-26
形式化方法的局限与工程取舍
2026-05-26
大型形式化案例:CompCert、seL4、Four Color 与 Mathlib
2026-05-26
类型检查器的可信基底:编译通过到底信什么
2026-05-26
在 Lean 4 中证明经典命题
2026-05-26
准备 Lean 4 实验环境
2026-05-26
归纳类型与递归:把数据嵌入证明
2026-05-26
依值类型:从命题逻辑到一阶逻辑
1
2
…
6
magicliang
关于技术以及人生
Articles
492
Tags
548
Categories
8
Github
Announcement
人生只是,守株待兔
Recent Posts
上下文管理全景:Agentic Coding 工具操纵 Messages 数组的六种策略
2026-06-24
NRW 仲裁参数——分布式副本读写的数值问题
2026-06-21
共识算法推导——从鸽巢原理到 Paxos、ZAB 与 Raft
2026-06-21
英语语法的骨架:时态、从句和修饰语怎么连起来
2026-06-20
OpenAI Beneficial RL 论文解读:对齐的本质是人格而非规则
2026-06-20
Categories
AI
68
Java
63
人文
61
基础设施
57
工程实践
85
系统架构
81
计算理论
51
随笔
26
Tags
影评
杨幂
诺兰
JVM
Java
异常处理
区块链
Hyperledger
Corda
私有链
联盟链
共识算法
javac
JIT
字节码
性能优化
科幻
Docker
Socket
JavaScript
KOA
数据库
MySQL
MariaDB
Linux
虚拟化
hypervisor
github
hexo
互联网金融
FinTech
面向对象
编程语言
编程范式
Python
tag
操作系统
Go
vim
大数据
Archives
June 2026
57
May 2026
91
April 2026
20
March 2026
14
February 2026
17
January 2026
5
September 2025
2
August 2025
2
Website Info
Article Count :
492
Total Word Count :
2751.6k
Unique Visitors :
Page Views :
Last Update :
簡
Search
Loading Database