This space typically features content that I find remarkable, encompassing not only technical articles but also essays on mathematics philosophy $\mathcal{M} \times \Phi$ and natural science philosophy $\mathcal{S} \times \Phi$, along with translated excerpts of works. I have a pronounced interest in practical algorithms, symbolic computation, typesetting tools, as well as web front-end and graphic design. Should anyone wish to engage in a discussion on these topics, please feel free to reach out via email or other means.

I am perpetually in the state of learning. Even within my most familiar areas, there remains a vast expanse of knowledge that I have yet to uncover. Simultaneously, classic concepts that have already been mastered continue to be reinterpreted and expanded upon with fresh insights. This is the overarching trend of theoretical evolution. Given that these disciplines share similar or identical logical systems $\frac{\Gamma ~ \vdash ~ \neg(\neg \chi)}{\Gamma ~ \vdash ~ \chi}$, it is no surprise to find many fundamental connections between them. However, it is certain that describing the same content in different languages can lead to distinct understandings. This disparity underscores the importance of seeking equivalent characterizations of definitions or problems, as it significantly influences our comprehension.