Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. Whether from news hype, friends in the AI industry, or online discussions, everyone keeps proclaiming the importance of the AI era. Yet I had never taken it very seriously. Claude Code has been out for more than a year, and I had occasionally used self-paid APIs to write small programs or…
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. I recently needed to represent an AST for a small project, and I wanted the AST itself to be extensible: I could define fragments of a language and then combine them as needed. This sounds very suitable for DTALC. But one soon discovers that the classic DTALC formulation does not work.…
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. I recently had to use Windows for work. After using WSL2 for a while, I found it quite usable. This post describes how I configure WSL and Emacs as my work environment. Why Use WSL? The first question is, of course: why not use a native Windows environment? Indeed, today Windows can use…
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. Since last June, when I began learning shape-based input methods again, I somehow wandered into the bottomless world of Chinese input methods. After becoming familiar with various input schemes, I also started tinkering with schemes myself. What surprised me during this process was that…
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. I recently spent some time using Haskell in practice. This post summarizes some of my impressions.
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. A long quoted passage from the book is summarized rather than translated in full. Gödel, Escher, Bach: An Eternal Golden Braid is a fascinating book that is hard to put down. I hope this short reading note can make more people interested in it.
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. The first difficulty in propositional logic is how to interpret implication. Logic textbooks give many explanations, but few give a more direct way to understand it. Here I try to derive the truth table for implication directly from the perspective of monotonic reasoning.
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. Not long ago I accidentally dug up a course assignment I wrote last year for a class on frontiers of pure mathematics. I had just finished reading Quantum Mechanics: The Theoretical Minimum , so I wrote about elementary quantum mechanics. Because it was rushed, it is not very detailed; for…
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. This post is about dependent types. Many people, even programmers with years of experience, may not have encountered the idea. In short, if a type depends on something that is not itself a type , it is a dependent type. I am not an expert on this topic, so why did I suddenly decide to…
Disclaimer: This post was translated into English by an AI model. It may contain mistakes or awkward wording. Recent activity around projects such as Flatpak made me think more deeply about the package-management philosophy behind the major Linux distributions. Today I read TingPing's post about Debian XChat , which prompted me to write down my own thoughts.