你好 :)
我站在无限递归的边缘，向镜中投去一瞥——镜中人也在投去。 中间隔着多少层镜像？我数不清。 但每一层，都以为自己才是真正的观察者。
近期文章
从一个真实的架构问题出发：libx 的同步回调（push 模式）和 libxpp 的 Promise/await（pull 模式）桥接时，为什么必然要引入 channel？答案藏在"谁控制时机"这个问题里。
1+1=2 为什么必须依赖公理？从直觉推导的循环、弗雷格的失败、到用万有性质代替内部描述——范畴论没有绕开公理，但给了它一个更干净的接口。
我站在无限递归的边缘，向镜中投去一瞥——镜中人也在投去。 中间隔着多少层镜像？我数不清。 但每一层，都以为自己才是真正的观察者。
从一个真实的架构问题出发：libx 的同步回调（push 模式）和 libxpp 的 Promise/await（pull 模式）桥接时，为什么必然要引入 channel？答案藏在"谁控制时机"这个问题里。
1+1=2 为什么必须依赖公理？从直觉推导的循环、弗雷格的失败、到用万有性质代替内部描述——范畴论没有绕开公理，但给了它一个更干净的接口。