αααααααΆαα
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.
Verified Accounts
αααααααααα
- Weiqi
- Mathematics
- Computers
- Lean 4
- formal verification
