Thanks for dropping by. I hope you're having a nice day.
My English name is Rex Yuan. My Chinese name is 袁 至 誠 .
I am from Taipei, Taiwan.
You can contact me at
<hello at this domain>
.
This is my favorite song, ever. This is my favorite image, ever. Enjoy.
Links
Here are some spots where you can follow me. Don't be shy.
If you're into Logic / Formal Methods / Programming Languages, then you should like my Page and join my Discord.