Posts

24 Hours of AI Coding

To vibe or not to vibe? That is the question.

Higher-order Data Types à la Carte

Encoding imperative programs is unexpectedly nontrivial

Living on WSL

How an Emacs user survives on Windows

Notes on Tinkering with Rime Double Pinyin

Using two translators together without hurting myself

Haskell as a non-toy

Is Haskell pleasant to use?