[全部展开/收缩]

2025

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

2024

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

2023

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

2022

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

2021

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

2020

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