(information
  #:name (cond [(know-taiwanese? you) "Lîm Tsú-thuàn"]
               [(know-chinese? you) "林子篆"]
               [else "Danny"])
  #:focus-on '(PLT Networking OS)
  #:language '(ocaml elixir haskell racket)
  #:prover '(lean agda)
  #:math-tools '(sagemath julia)
  #:learning '(geodesics
               Ricci flow
               natural model of dependent type
               higher-order computability
               termination property: sized/glued dependent type)
  #:mail "inbox@dannypsnl.me"
  #:pronouns: '(He Him)
  #:os '(NixOS MacOS)
  #:languages: '((Taiwanese . thian-jiân)
                 (Chinese . 母語)
                 (English . fluent)
                 (Finnish . Osaan puhua vähän suomea)
                 (Japanese . 日本語がわからない)
                 (Deutsch . Ich kann kein Deutsch sprechen))
  #:fun-fact '(most native speakers of Chinese/Taiwanese cannot pronounce my name correctly at first))