https://ksqsf.moe/ https://ksqsf.moe/about/ https://ksqsf.moe/en/ https://ksqsf.moe/en/about/ https://ksqsf.moe/en/links/ https://ksqsf.moe/en/posts/ https://ksqsf.moe/en/posts/2018-03-03-what-is-a-linux-distro/ 2018-03-03 https://ksqsf.moe/en/posts/2019-02-18-dt-fun/ 2019-02-18 https://ksqsf.moe/en/posts/2019-02-26-qm-in-la/ 2019-02-26 https://ksqsf.moe/en/posts/2020-08-23-implication/ 2020-08-23 https://ksqsf.moe/en/posts/2020-08-25-geb/ 2020-08-25 https://ksqsf.moe/en/posts/2021-06-03-haskell-as-a-non-toy/ 2021-06-03 https://ksqsf.moe/en/posts/2023-06-01-rime-double-pinyin/ 2023-12-26T22:06:16+08:00 https://ksqsf.moe/en/posts/2025-04-29-work-in-wsl/ 2025-04-29 https://ksqsf.moe/en/posts/2026-04-12-hodtalc/ 2026-04-12 https://ksqsf.moe/en/posts/2026-05-14-first-agentic-coding/ 2026-05-14 https://ksqsf.moe/en/posts/page/1/ https://ksqsf.moe/en/posts/page/2/ https://ksqsf.moe/en/tags/ https://ksqsf.moe/en/tags/ai/ https://ksqsf.moe/en/tags/book/ https://ksqsf.moe/en/tags/dependent-types/ https://ksqsf.moe/en/tags/double-pinyin/ https://ksqsf.moe/en/tags/dtalc/ https://ksqsf.moe/en/tags/emacs/ https://ksqsf.moe/en/tags/experience/ https://ksqsf.moe/en/tags/geb/ https://ksqsf.moe/en/tags/haskell/ https://ksqsf.moe/en/tags/ime/ https://ksqsf.moe/en/tags/linear-algebra/ https://ksqsf.moe/en/tags/linux/ https://ksqsf.moe/en/tags/logic/ https://ksqsf.moe/en/tags/math/ https://ksqsf.moe/en/tags/opinion/ https://ksqsf.moe/en/tags/physics/ https://ksqsf.moe/en/tags/pl/ https://ksqsf.moe/en/tags/quantum-mechanics/ https://ksqsf.moe/en/tags/review/ https://ksqsf.moe/en/tags/rime/ https://ksqsf.moe/en/tags/rust/ https://ksqsf.moe/en/tags/type-theory/ https://ksqsf.moe/en/tags/windows/ https://ksqsf.moe/en/tags/wsl/ https://ksqsf.moe/links/ https://ksqsf.moe/posts/ https://ksqsf.moe/posts/2017-07-18-btrfs/ 2017-07-18 https://ksqsf.moe/posts/2017-08-16-from-quine-to-y-combinator/ 2017-08-16 https://ksqsf.moe/posts/2018-03-03-what-is-a-linux-distro/ 2018-03-03 https://ksqsf.moe/posts/2019-02-18-dt-fun/ 2019-02-18 https://ksqsf.moe/posts/2019-02-26-qm-in-la/ 2019-02-26 https://ksqsf.moe/posts/2020-08-23-implication/ 2020-08-23 https://ksqsf.moe/posts/2020-08-25-geb/ 2020-08-25 https://ksqsf.moe/posts/2021-06-03-haskell-as-a-non-toy/ 2021-06-03 https://ksqsf.moe/posts/2023-06-01-rime-double-pinyin/ 2023-12-26T22:06:16+08:00 https://ksqsf.moe/posts/2025-04-29-work-in-wsl/ 2025-04-29 https://ksqsf.moe/posts/2026-04-12-hodtalc/ 2026-04-12 https://ksqsf.moe/posts/2026-05-14-first-agentic-coding/ 2026-05-14 https://ksqsf.moe/posts/page/1/ https://ksqsf.moe/posts/page/2/ https://ksqsf.moe/posts/page/3/ https://ksqsf.moe/tags/ https://ksqsf.moe/tags/ai/ https://ksqsf.moe/tags/book/ https://ksqsf.moe/tags/btrfs/ https://ksqsf.moe/tags/dependent-types/ https://ksqsf.moe/tags/double-pinyin/ https://ksqsf.moe/tags/dtalc/ https://ksqsf.moe/tags/emacs/ https://ksqsf.moe/tags/experience/ https://ksqsf.moe/tags/geb/ https://ksqsf.moe/tags/haskell/ https://ksqsf.moe/tags/ime/ https://ksqsf.moe/tags/linear-algebra/ https://ksqsf.moe/tags/linux/ https://ksqsf.moe/tags/logic/ https://ksqsf.moe/tags/math/ https://ksqsf.moe/tags/opinion/ https://ksqsf.moe/tags/physics/ https://ksqsf.moe/tags/pl/ https://ksqsf.moe/tags/quantum-mechanics/ https://ksqsf.moe/tags/quine/ https://ksqsf.moe/tags/review/ https://ksqsf.moe/tags/rime/ https://ksqsf.moe/tags/rust/ https://ksqsf.moe/tags/type-theory/ https://ksqsf.moe/tags/windows/ https://ksqsf.moe/tags/wsl/