Archives

2026 ¹⁵

August ²

Ming’s Spell Compendium #6 – A Generalized Curry–Howard Proof Searcher and Program Synthesizer (Crackpotizen Edition)

2026-08-20 · 18 min · ming yang

明系魔法吟唱之6 – 民(科)用广义 Curry-Howard 证明搜索与程序合成器

2026-08-20 · 30 min · ming yang

March ⁹

明系魔法吟唱之5 – 我要说的事，你们千万别害怕

2026-03-23 · 36 min · ming yang

AI编码代理规则文件全维度横向对比评测报告

2026-03-13 · 38 min · ming yang

OpenClaw AGENTS.md 与 My Claude.md 规则横评

2026-03-12 · 23 min · ming yang

明系魔法吟唱之3.14 – Agent 规则文件评测：我的 vs OpenClaw

2026-03-12 · 16 min · ming yang

Ming’s Spell Compendium #4 – The Art of Whipping AI Grunts: FP’s Great Comeback?

2026-03-11 · 25 min · ming yang

明系魔法吟唱之4 – 精细化AI鞭策术：FP 的伟大复兴？

2026-03-11 · 50 min · ming yang

明系魔法吟唱之3.1 – 我的Claude规则文件分享

2026-03-10 · 11 min · ming yang

Ming’s Spell Compendium #3 – AI Programming: The Next Chapter

2026-03-09 · 26 min · ming yang

明系魔法吟唱之3 – AI 编程的下一章

2026-03-09 · 21 min · ming yang

February ⁴

Ming’s Spell Compendium #2 – You Terrifying Upright Apes Are Underestimating Yourselves

2026-02-24 · 26 min · ming yang

明系魔法吟唱之2 – 恐怖直立猿们，你们低估了自己的智慧

2026-02-24 · 21 min · ming yang

Ming’s Spell Compendium #1 – One Year of Vibe Coding: A Cold Hard Look

2026-02-06 · 20 min · ming yang

明系魔法吟唱之1 – Vibe Coding 一年实践后的冷思考

2026-02-06 · 16 min · ming yang

2023 ³

April ¹

Improving the Display of Data Lists: Designing a Real-Time Event Subscription Architecture

2023-04-15 · 6 min · ming yang

March ²

Implementing Version Management of File Trees in PostgreSQL

2023-03-19 · 5 min · ming yang

Implement the file tree in PostgreSQL using ltree

2023-03-19 · 3 min · ming yang

2022 ¹

August ¹

浅谈资源安全

2022-08-21 · 6 min · ming yang

2021 ⁵

May ⁵

Hello World

2021-05-17 · 1 min · ming yang

AC + AP Enterprise WiFi6 practice

2021-05-14 · 0 min · ming yang

Rethink CDC system design