- Taiwan
- https://dannypsnl.me
-
巫術 • 展開
-
Joined on
2026年01月07日
(information
#:name (cond [(know-taiwanese? you) "Lîm Tsú-thuàn"]
[(know-chinese? you) "林子篆"]
[else "Danny"])
#:focus-on '(topos geometry)
#:programming-language '(racket erlang ocaml haskell)
#:proof-assistant '(agda lean)
#:math-tool '(sagemath)
#:learning '(synthetic geometry
oracle modalities)
#:mail "inbox@dannypsnl.me"
#:pronouns: '(He Him)
#:os '(Guix MacOS NixOS)
#:languages: '((Taiwanese . thian-jiân)
(Chinese . 母語)
(English . fluent)
(Japanese . 私は少し日本語がわかります)
(Finnish . Osaan puhua vähän suomea)
(Deutsch . Ich kann kein Deutsch sprechen))
#:fun-fact '(most native speakers of Chinese/Taiwanese don't know how to pronounce my name at first))