41554 blogs · [ { "id": "01a08797-3ee3-7242-8708-d03884a754cd", "title": "24 Hours of AI Coding", "url": "https://ksqsf.moe/en/posts/2026-05-14-first-agentic-coding/", "published_at": "2026-05-14T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3c367c97", "title": "AI 编码 24 小时", "url": "https://ksqsf.moe/posts/2026-05-14-first-agentic-coding/", "published_at": "2026-05-14T00:00:00+00:00" }, { "id": "01a08797-3ee3-7242-8708-d03885672941", "title": "Higher-order Data Types à la Carte", "url": "https://ksqsf.moe/en/posts/2026-04-12-hodtalc/", "published_at": "2026-04-12T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3c0d4661", "title": "Higher-order Data Types à la Carte", "url": "https://ksqsf.moe/posts/2026-04-12-hodtalc/", "published_at": "2026-04-12T00:00:00+00:00" }, { "id": "01a08797-3ee3-7242-8708-d03886366e47", "title": "Living on WSL", "url": "https://ksqsf.moe/en/posts/2025-04-29-work-in-wsl/", "published_at": "2025-04-29T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3bc52ddc", "title": "生活在 WSL 上", "url": "https://ksqsf.moe/posts/2025-04-29-work-in-wsl/", "published_at": "2025-04-29T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3b8aaa47", "title": "Rime 双拼折腾记", "url": "https://ksqsf.moe/posts/2023-06-01-rime-double-pinyin/", "published_at": "2023-12-26T14:06:16+00:00" }, { "id": "01a08797-3ee3-7242-8708-d0388667e4fa", "title": "Notes on Tinkering with Rime Double Pinyin", "url": "https://ksqsf.moe/en/posts/2023-06-01-rime-double-pinyin/", "published_at": "2023-06-01T09:07:59+00:00" }, { "id": "01a08797-3ee3-7242-8708-d03886897010", "title": "Haskell as a non-toy", "url": "https://ksqsf.moe/en/posts/2021-06-03-haskell-as-a-non-toy/", "published_at": "2021-06-03T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3b64ef0f", "title": "Haskell as a non-toy", "url": "https://ksqsf.moe/posts/2021-06-03-haskell-as-a-non-toy/", "published_at": "2021-06-03T00:00:00+00:00" }, { "id": "01a08797-3ee3-7242-8708-d03886e37f9d", "title": "G.E.B. -- A Mental Space Odyssey", "url": "https://ksqsf.moe/en/posts/2020-08-25-geb/", "published_at": "2020-08-25T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3aee1229", "title": "G.E.B. —— A Mental Space Odyssey", "url": "https://ksqsf.moe/posts/2020-08-25-geb/", "published_at": "2020-08-25T00:00:00+00:00" }, { "id": "01a08797-3ee3-7242-8708-d03886fbb130", "title": "Interpreting Implication", "url": "https://ksqsf.moe/en/posts/2020-08-23-implication/", "published_at": "2020-08-23T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3aa2d3ed", "title": "蕴涵词的解释", "url": "https://ksqsf.moe/posts/2020-08-23-implication/", "published_at": "2020-08-23T00:00:00+00:00" }, { "id": "01a08797-3ee3-7242-8708-d038877abdee", "title": "Quantum Mechanics in Linear Algebra", "url": "https://ksqsf.moe/en/posts/2019-02-26-qm-in-la/", "published_at": "2019-02-26T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d39b5f09e", "title": "线性代数中的量子力学", "url": "https://ksqsf.moe/posts/2019-02-26-qm-in-la/", "published_at": "2019-02-26T00:00:00+00:00" }, { "id": "01a08797-3ee3-7242-8708-d038878c88ff", "title": "Fun with Dependent Types", "url": "https://ksqsf.moe/en/posts/2019-02-18-dt-fun/", "published_at": "2019-02-18T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d39a57451", "title": "有趣的依赖类型", "url": "https://ksqsf.moe/posts/2019-02-18-dt-fun/", "published_at": "2019-02-18T00:00:00+00:00" }, { "id": "01a08797-3ee3-7242-8708-d03887aebde1", "title": "What Does a Linux Distribution Mean?", "url": "https://ksqsf.moe/en/posts/2018-03-03-what-is-a-linux-distro/", "published_at": "2018-03-03T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3909fbc3", "title": "Linux 发行版意味着什么？", "url": "https://ksqsf.moe/posts/2018-03-03-what-is-a-linux-distro/", "published_at": "2018-03-03T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d38db6f00", "title": "从自输出程序到 Y 组合子", "url": "https://ksqsf.moe/posts/2017-08-16-from-quine-to-y-combinator/", "published_at": "2017-08-16T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d38021e26", "title": "Btrfs 与 Linux 安装", "url": "https://ksqsf.moe/posts/2017-07-18-btrfs/", "published_at": "2017-07-18T00:00:00+00:00" }, { "id": "01a0d3a5-493e-72f5-bb17-b51d1fd3833f", "title": null, "url": "https://ksqsf.moe/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d20361dbc", "title": null, "url": "https://ksqsf.moe/about/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d204e0c94", "title": null, "url": "https://ksqsf.moe/en/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2078174b", "title": null, "url": "https://ksqsf.moe/en/about/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d20db8cb4", "title": null, "url": "https://ksqsf.moe/en/links/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d21a9c00a", "title": null, "url": "https://ksqsf.moe/en/posts/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d28d78b14", "title": null, "url": "https://ksqsf.moe/en/posts/page/1/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d296f4476", "title": null, "url": "https://ksqsf.moe/en/posts/page/2/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d29b18dc7", "title": null, "url": "https://ksqsf.moe/en/tags/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d29be5722", "title": null, "url": "https://ksqsf.moe/en/tags/ai/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d29f5de79", "title": null, "url": "https://ksqsf.moe/en/tags/book/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2ac52c7c", "title": null, "url": "https://ksqsf.moe/en/tags/dependent-types/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2bb2f39f", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/double-pinyin/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2c3f853e", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/dtalc/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2d28e7a2", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/emacs/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2e1484f0", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/experience/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2e68c14a", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/geb/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2eae8df1", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/haskell/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2f65470f", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/ime/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2fa8f92c", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/linear-algebra/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d2fb33f57", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/linux/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d305e6513", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/logic/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3124ccd6", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/math/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d314d2a12", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/opinion/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d316c7968", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/physics/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d326a998e", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/pl/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3300e817", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/quantum-mechanics/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d33d49066", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/review/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3478f25c", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/rime/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d34f1314a", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/rust/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d357b76ee", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/type-theory/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d35daa4eb", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/windows/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d36592b21", "title": "/home/ksqsf", "url": "https://ksqsf.moe/en/tags/wsl/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d36ec649e", "title": "Outdegree", "url": "https://ksqsf.moe/links/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d374cf884", "title": "/home/ksqsf/posts/", "url": "https://ksqsf.moe/posts/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3cf10f97", "title": "Redirect", "url": "https://ksqsf.moe/posts/page/1/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3d94baea", "title": "/home/ksqsf/posts/2", "url": "https://ksqsf.moe/posts/page/2/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3e0aca07", "title": "/home/ksqsf/posts/3", "url": "https://ksqsf.moe/posts/page/3/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3e16798c", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3e678a7c", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/ai/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3eabf616", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/book/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3f5c4835", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/btrfs/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3f7ecf22", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/dependent-types/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d3ff0b166", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/double-pinyin/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d401db42a", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/dtalc/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d40fd86af", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/emacs/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d4154cc20", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/experience/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d41c9fe31", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/geb/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d42a893c4", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/haskell/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d4386d721", "title": "/home/ksqsf", "url": "https://ksqsf.moe/tags/ime/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d442fcd44", "title": null, "url": "https://ksqsf.moe/tags/linear-algebra/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d445635dd", "title": null, "url": "https://ksqsf.moe/tags/linux/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d4520e0eb", "title": null, "url": "https://ksqsf.moe/tags/logic/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d45c6babf", "title": null, "url": "https://ksqsf.moe/tags/math/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d46868f49", "title": null, "url": "https://ksqsf.moe/tags/opinion/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d46aa5b25", "title": null, "url": "https://ksqsf.moe/tags/physics/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d46f81b59", "title": null, "url": "https://ksqsf.moe/tags/pl/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d476a6fb8", "title": null, "url": "https://ksqsf.moe/tags/quantum-mechanics/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d47911bb3", "title": null, "url": "https://ksqsf.moe/tags/quine/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d479a83b3", "title": null, "url": "https://ksqsf.moe/tags/review/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d47c7e7c7", "title": null, "url": "https://ksqsf.moe/tags/rime/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d4888d56c", "title": null, "url": "https://ksqsf.moe/tags/rust/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d48f74e84", "title": null, "url": "https://ksqsf.moe/tags/type-theory/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d4940701e", "title": null, "url": "https://ksqsf.moe/tags/windows/", "published_at": null }, { "id": "01a0d3a5-493e-72f5-bb17-b51d498eba7b", "title": null, "url": "https://ksqsf.moe/tags/wsl/", "published_at": null } ] posts Claim your blog

Back to ksqsf.moe

Blog · corpus.blog/blogs/ksqsf.moe/posts

ksqsf.moe

ksqsf.moe

2026

24 Hours of AI Coding original ↗

14 May 2026

AI 编码 24 小时 original ↗

14 May 2026

Higher-order Data Types à la Carte original ↗

12 Apr 2026

Higher-order Data Types à la Carte original ↗

12 Apr 2026

2025

Living on WSL original ↗

29 Apr 2025

生活在 WSL 上 original ↗

29 Apr 2025

2023

Rime 双拼折腾记 original ↗

26 Dec 2023

Notes on Tinkering with Rime Double Pinyin original ↗

1 Jun 2023

2021

Haskell as a non-toy original ↗

3 Jun 2021

Haskell as a non-toy original ↗

3 Jun 2021

2020

G.E.B. -- A Mental Space Odyssey original ↗

25 Aug 2020

G.E.B. —— A Mental Space Odyssey original ↗

25 Aug 2020

Interpreting Implication original ↗

23 Aug 2020

蕴涵词的解释 original ↗

23 Aug 2020

2019

Quantum Mechanics in Linear Algebra original ↗

26 Feb 2019

线性代数中的量子力学 original ↗

26 Feb 2019

Fun with Dependent Types original ↗

18 Feb 2019

有趣的依赖类型 original ↗

18 Feb 2019

2018

What Does a Linux Distribution Mean?original ↗

3 Mar 2018

Linux 发行版意味着什么？original ↗

3 Mar 2018

2017

从自输出程序到 Y 组合子 original ↗

16 Aug 2017

Btrfs 与 Linux 安装 original ↗

18 Jul 2017

Undated

https://ksqsf.moe/original ↗

—

https://ksqsf.moe/about/original ↗

—

https://ksqsf.moe/en/original ↗

—

https://ksqsf.moe/en/about/original ↗

—

https://ksqsf.moe/en/links/original ↗

—

https://ksqsf.moe/en/posts/original ↗

—

https://ksqsf.moe/en/posts/page/1/original ↗

—

https://ksqsf.moe/en/posts/page/2/original ↗

—

https://ksqsf.moe/en/tags/original ↗

—

https://ksqsf.moe/en/tags/ai/original ↗

—

https://ksqsf.moe/en/tags/book/original ↗

—

https://ksqsf.moe/en/tags/dependent-types/original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

Outdegree original ↗

—

/home/ksqsf/posts/original ↗

—

Redirect original ↗

—

/home/ksqsf/posts/2 original ↗

—

/home/ksqsf/posts/3 original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

/home/ksqsf original ↗

—

https://ksqsf.moe/tags/linear-algebra/original ↗

—

https://ksqsf.moe/tags/linux/original ↗

—

https://ksqsf.moe/tags/logic/original ↗

—

https://ksqsf.moe/tags/math/original ↗

—

https://ksqsf.moe/tags/opinion/original ↗

—

https://ksqsf.moe/tags/physics/original ↗

—

https://ksqsf.moe/tags/pl/original ↗

—

https://ksqsf.moe/tags/quantum-mechanics/original ↗

—

https://ksqsf.moe/tags/quine/original ↗

—

https://ksqsf.moe/tags/review/original ↗

—

https://ksqsf.moe/tags/rime/original ↗

—

https://ksqsf.moe/tags/rust/original ↗

—

https://ksqsf.moe/tags/type-theory/original ↗

—

https://ksqsf.moe/tags/windows/original ↗

—

https://ksqsf.moe/tags/wsl/original ↗

—