Miscellaneous

My Erdős number is 5 (previous node: Prof. Edmond Chow)

My best 5km runs:

My GPG keys:

Magic numbers you might see in my code (usually the random number seed):