[全部展开/收缩]

2025

• Apr ( 篇文章)
  • L’implémentation pratique d’un système de type (304 / 0 )
• Mar ( 篇文章)
  • Rust 交叉编译踩坑 (827 / 2 )

2024

• Oct ( 篇文章)
  • 论递归类型，章节二 (668 / 0 )
  • 论递归类型，章节一 (601 / 0 )
• Mar ( 篇文章)
  • 从零开始用 Rust 实现一个内存管理器（一） (1363 / 0 )
  • « Sur imprédicativité » (1170 / 0 )
• Jan ( 篇文章)
  • To what reason, and to what extent, should we extend the border of the software? (2087 / 1 )
  • 动手实现托管语言的内存管理器：压缩回收算法分析 (1566 / 0 )

2023

• Jun ( 篇文章)
  • L’axiome du choix, dans le domaine de la théorie intuitionniste des types (1829 / 0 )
• Feb ( 篇文章)
  • 一点小小的法语震撼 (2724 / 2 )
  • The Entscheidungsproblem is undecidable (1532 / 1 )
• Jan ( 篇文章)
  • 从虚方法出发，谈谈编译器的优化策略 (2033 / 3 )

2022

• Dec ( 篇文章)
  • 小阳人日记-12月22日 (1634 / 0 )
  • 字体推荐：Computer Modern Unicode (1120 / 0 )
  • Rust的设计哲学：Trait与多态 (7591 / 56 )
  • 《战神：诸神黄昏》——一部瑜不掩瑕的续作（剧透警告） (1356 / 0 )
• Nov ( 篇文章)
  • 哲学，逻辑，与数学——从罗素悖论谈起 (2323 / 1 )
• Feb ( 篇文章)
  • 理论知识在工程实践中的意义 (1775 / 1 )

2021

• Dec ( 篇文章)
  • WinUI 3开发过程中DEP1700的解决办法 (1749 / 0 )
• Oct ( 篇文章)
  • Exploration in C# TPL: A reenterable Awaiter (1961 / 2 )
• Aug ( 篇文章)
  • 重构一个C#方法 (1697 / 0 )
• Jul ( 篇文章)
  • 奇怪的梦(一) (2077 / 4 )
  • 使用Fiddler对应用了Certificate Pinning的Android应用进行抓包 (2195 / 0 )
• May ( 篇文章)
  • 对KMP算法中前缀函数的分析以及正确性证明 (2364 / 1 )

2020

• Nov ( 篇文章)
  • Lambda Expressions/Anonymous Functions are NOT Closure！ (3402 / 1 )
• Oct ( 篇文章)
  • 如何获取Pixiv Web端的Cookie (8290 / 1 )
  • “斑马谜题”的求解 (4961 / 4 )
  • 在C#中实现Task.WhenAll (3515 / 0 )
  • Pixeval (101785 / 48 )