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].
Links
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.
Geverifieerde accounts
Interesses
- Weiqi
- Mathematics
- Computers
- Lean 4
- formal verification
