链接
CodeBerg.Org ↗
A Git hosting service that supports SHA256.
Online-Go.Com ↗
Website where I play Weiqi.
Doubly Immortal Life and Death Gambler ↗
A story about exploiting Quantum Immortality, the ability to survive so long as one is alive.
Rewinding Life for Endless Possibilities ↗
A short story about being able to relive life from any experienced moment on the time tree.
Novel Updates ↗
Translated novels.
已验证账户
兴趣
- Weiqi
- Mathematics
- Computers
- Lean 4
- formal verification
