Nazgand
I [am [Mark Andrew Gerads]], [was born during 1991 in the USA], and [enjoy working on projects that are free for all with Internet access].
๋งํฌ
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
