https://blog.xmzheng.cn/ en Tue, 16 Jun 2026 16:42:26 -0000 Tue, 16 Jun 2026 16:42:26 -0000 1440 MkDocs RSS plugin - v1.19.0 None https://blog.xmzheng.cn/ Math Studying <h1>A fast method for partial fraction decomposition</h1> <p><img alt="" src="../assets/covers/a-fast-method-for-partial-fraction-decomposition.png"></p> <p>!!! warning "Generated by AI"</p> <p>该方法适用于口算</p> https://blog.xmzheng.cn/posts/a-fast-method-for-partial-fraction-decomposition/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/a-fast-method-for-partial-fraction-decomposition/ SICP Studying <h1>Fix semicolon parsing logic within comments in SICP's <code>sqlite_shell.py</code></h1> <p>SICP 的 <code>sqlite_shell.py</code> 非常神奇的无法处理 <code>/* */</code> 中的 <code>;</code>，会产生报错：</p> <p><code>bash sqlite&gt; /*;*/; near "*": syntax error</code></p> https://blog.xmzheng.cn/posts/fix-semicolon-parsing-logic-within-comments-in-sicps-sqlite-shell-py/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/fix-semicolon-parsing-logic-within-comments-in-sicps-sqlite-shell-py/ SICP Studying <h1>From hash tables to dictionaries: <br> the missing part of SICP</h1> <blockquote> <p>笔者在研读 <a href="https://github.com/KEDIT2007/NJU-SICP-Essays/blob/main/dict-and-python-oop/Dictionaries%20and%20Python%20OOP.md">Dictionaries and Python OOP</a> 的时候意识到自己对 Python 字典的实现了解不够，便在这一方向进行了深入探索。</p> <p>我们的 <a href="https://sicp.pascal-lab.net/2025/">SICP</a> 课程没有涉及这一数据结构，我相信也有其他学习者想要深入了解字典的实现原理；因此我不妨写一份讲义，来系统地讲解 Python 字典的设计思想，希望后来者也能少走一些弯路。</p> </blockquote> <p>!!! note 这份讲义不适合以下读者：</p> <pre><code>- 期望以此学习基本语法。 - 期望以此提高课内成绩。 建议在阅读后完成配套练习。 </code></pre> https://blog.xmzheng.cn/posts/from-hash-tables-to-dictionaries-the-missing-part-of-sicp/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/from-hash-tables-to-dictionaries-the-missing-part-of-sicp/ DLCO Guide <h1>Git tutorial for DLCO</h1> <p>在此简述如何在实验平台中配置网络连接，并与 NJU Git 同步。</p> https://blog.xmzheng.cn/posts/git-tutorial-for-dlco/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/git-tutorial-for-dlco/ Studying <h1>How to build a pastebin website</h1> <p><img alt="" src="../assets/covers/how-to-build-a-pastebin-website.png"></p> <p>近日给原来的 Pastebin 换了一个服务器，重新部署一遍，正好写一篇教程。</p> <p>我选择的是 <a href="https://privatebin.info/">PrivateBin</a>。</p> https://blog.xmzheng.cn/posts/how-to-build-a-pastebin-website/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/how-to-build-a-pastebin-website/ Living <h1>I set up my homepage!</h1> <p><img alt="" src="../assets/covers/i-set-up-my-homepage.png"></p> <p>正好有一个闲置的域名不知道拿来干啥好，有人建议我搞个个人主页。</p> <p>所以就有啦，这个简陋的主页：</p> <p><a href="https://zhengximing.com/">https://zhengximing.com/</a></p> <p>目前啥都没有..</p> https://blog.xmzheng.cn/posts/i-set-up-my-homepage/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/i-set-up-my-homepage/ Math Studying <h1>Markdown macros for Typora</h1> <p>注意括号的 4 个只有 Typora 能用，因其较为特别的 MathJax 配置。</p> <p>不建议用这 4 个，如果你不只用 Typora 的话。</p> https://blog.xmzheng.cn/posts/markdown-macros-for-typora/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/markdown-macros-for-typora/ Math Studying <h1>Organized notes of MIT 18.01SC</h1> <p><img alt="" src="../assets/covers/organized-notes-of-mit-1801sc.png"></p> <h3>Description:</h3> <p>An archive of MIT 18.01SC Single Variable Calcul...</p> https://blog.xmzheng.cn/posts/organized-notes-of-mit-1801sc/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/organized-notes-of-mit-1801sc/ Studying <h1>Some questions I set</h1> <p>是一些很乱的一个整理，从家里翻出来的一堆东西。没什么用。</p> <p>只是觉得弃之可惜。</p> https://blog.xmzheng.cn/posts/some-questions-i-set/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/some-questions-i-set/ DLCO Studying <h1>Something about Vivado and Verilog</h1> <p>!!! info 课程名称：数字逻辑与计算机组成实验</p> <pre><code>开发板：Nexys A7-100T 项目仓库：&lt;https://github.com/simonzxm/dlco-exp&gt; </code></pre> https://blog.xmzheng.cn/posts/something-about-vivado-and-verilog/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/something-about-vivado-and-verilog/ Review Studying <h1>The fall of my freshman year</h1> <p><img alt="" src="../assets/covers/the-fall-of-my-freshman-year.jpeg"></p> <p>一个普通的 Review。会慢慢更新。</p> https://blog.xmzheng.cn/posts/the-fall-of-my-freshman-year/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/the-fall-of-my-freshman-year/ Math Studying <h1>The Storm in Foundational Mathematics: König's Paradox</h1> <blockquote> <p>Gyula Konig proposed the following paradox: By the Well Ordering Theorem, the real number set $\mathbb{R}$ can be well ordered. We study the elements of $\mathbb{R}$ and classify them. If a real number can be defined using a finite number of symbols, then we say it is finitely definable. Otherwise, we say it is undefinable. Obviously, undefinable real numbers exist, because finitely definable real numbers must be countable, while $\mathbb{R}$ is uncountable. It is also obvious that, in the well order, the "smallest" elements, i.e., the beginning elements, are finitely definable. So the question is where we can find the first undefinable number. If $x$ is the first undefinable number, then its immediate predecessor is finitely definable. However, the above relationship with a finitely definable number should make $x$ finitely definable as well.</p> <p>How do you think of this paradox? Write an essay of no more than 1000 words.</p> </blockquote> https://blog.xmzheng.cn/posts/the-storm-in-foundational-mathematics-konigs-paradox/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/the-storm-in-foundational-mathematics-konigs-paradox/ Living <h1>Welcome to my new blog!</h1> <p><img alt="" src="../assets/covers/welcome-to-my-new-blog.jpg"></p> <p>把博客迁移到 Material for Mkdocs 上啦</p> <p>应该会看起来正经一点（？然后可能会尝试一些自定义的 CSS，也许会比较好看吧。</p> <p>!!! fail...</p> https://blog.xmzheng.cn/posts/welcome-to-my-new-blog/ Tue, 16 Jun 2026 16:41:45 +0000 XM Zheng's Bloghttps://blog.xmzheng.cn/posts/welcome-to-my-new-blog/