A collection of my thoughts on things presented poorly.
Ideas do not exist separately from language.
Whats up with the
EM DASH 2014 — are you generating AI slop????: - This blog uses Notion as a CMS.
- In Notion 2
- HYPHEN-MINUS 002Ds are automatically turned into a em dash: —
- Chinese IME often use 2-consecutive em dashes: ——
下面的文章如有事实性错误，恳请您还务必指正；亦或者您有与我相异之见解，烦请您还不吝赐教。移步至此
I speak… Chinese • English • Japanese. Fluency in that order.
Blog Posts
Deriving Monad Comprehension Programmatically
comprehend 再多，却无可 comprehend 她的心。#油 #普信 #🤢
Jun 27, 2025
math/PL
Fixpoint is all you need
Jul 11, 2024
math/PL
再学一次Vim
这将是你的最后一篇Vim教程(Hopefully)
Apr 30, 2023
Vim
Tutorial
Thoughts ‘25
entertaining myself to death. Also amateur critique on what I’ve consumed lately (2025 Remastered)
Jan 1, 2025
Nichijō
Misc
IMO
Film
Gaming
Strict Positiveness
POSITIVE VIBES ONLY🤗🤗🤗🤗🤗 Why do we enforce it 🤔🤔???
Sep 8, 2025
math/PL
Maths (or PL) Related Stuff
Nerdmaxxing
May 10, 2024
math/PL
Thoughts Pt. 2
More gossip, but Who asked
May 8, 2024
Nichijō
Misc
IMO
Thoughts. Pt 1.
This is where I post my thoughts, gossips, 闲言碎语——Whatever you call it.
Aug 28, 2023
Nichijō
Gaming
IMO
配置 Clangd 为 Lean 写 FFI
Clangd is great. Very responsive.
Mar 6, 2025
Tutorial
Fate/Samurai Remnant初印象
TL;DR アシ好き~~ぶひっ！❤んほぉぉ❤おごっおおっ❤死にゅっ
Oct 7, 2023
Nichijō
IMO
Gaming
Oppenheimer、観たああああ
The good, the bad, and the ugly of Nolan’s big hit. I haven’t watched Barbie tho.
Aug 29, 2023
IMO
Film
Nichijō
我的LaTeX模板
我个人所使用的LaTeX笔记模板
Sep 24, 2023
Misc
映画字幕書体之小感
似曾相识的日文字体，勾起好奇；笔耕不辍的字体匠人，令人敬佩。一目見ればわかる——映画书体你绝对见过。
Aug 8, 2023
Font Design
Cover. Pot de primevères et fruits sur une table, P. Cézanne, 1890
