博客

2024

• 08-10 为什么感觉区块链没什么用

2021

• 02-17 南北湖 “朝圣” 之旅

2020

• 12-22 用Rust写Protobuf扩展
• 12-03 量子通信困境
• 11-10 darcs vs git
• 10-13 CRDT与Local First
• 08-18 CITA-Cloud闲谈
• 05-06 买车记
• 03-31 黑客马拉松
• 03-22 语言本能读后感
• 03-21 疫情期间的感想

2019

• 12-25 跨链
• 12-13 Rust的依赖问题
• 12-08 区块链降级论
• 11-02 关于DAO的一些想法
• 10-15 With Category Theory, Mathematics Escapes From Equality
• 10-09 最近的一些零散想法
• 09-11 microKanren 学习笔记
• 09-09 一些思考
• 09-04 区块链需要逻辑编程
• 09-02 Linear Logic 与 FRP
• 08-29 无处不在的Linear Logic
• 08-20 理论篇
• 08-09 两种模式的统一
• 08-08 两种模式的演化
• 08-07 两种模式的诞生

2018

• 11-06 区块链游戏路在何方
• 09-04 兼容性与分叉
• 08-09 区块链提供什么类型的一致性