我说中文。
Usually active around 3 ~ 4 a.m. UTC.
You can find me on Matrix @gzgavinzhao:matrix.org if you need to talk to me directly.
Note: if you see Python in the chart below, in almost all cases it's probably just Starlark (for Bazel).
A good chart for me should be a healthy balance between C++, Lean, and Haskell, with some occasional Rust and Dart sprinkled here and there.
If a large portion of the chart is taken up by Typst or LaTeX or Lean, this usually means I'm busy with my studies and it may take longer than usual for me to reply to messages.
