Je m’appelle Dylech30th, et J’écris parfois ici

Certains bavardages…

11 月 2025
L’implémentation pratique d’un système de type

4 月 2025
Rust 交叉编译踩坑

3 月 2025
论递归类型，章节二

10 月 2024
论递归类型，章节一

10 月 2024
从零开始用 Rust 实现一个内存管理器（一）

3 月 2024
« Sur imprédicativité »

3 月 2024
To what reason, and to what extent, should we extend the border of the software?

1 月 2024
动手实现托管语言的内存管理器：压缩回收算法分析

1 月 2024
L’axiome du choix, dans le domaine de la théorie intuitionniste des types

6 月 2023
一点小小的法语震撼

2 月 2023
The Entscheidungsproblem is undecidable

2 月 2023
从虚方法出发，谈谈编译器的优化策略

1 月 2023
小阳人日记-12月22日

12 月 2022
字体推荐：Computer Modern Unicode

12 月 2022
Rust的设计哲学：Trait与多态

12 月 2022
《战神：诸神黄昏》——一部瑜不掩瑕的续作（剧透警告）

12 月 2022
哲学，逻辑，与数学——从罗素悖论谈起

11 月 2022
理论知识在工程实践中的意义

2 月 2022
WinUI 3开发过程中DEP1700的解决办法

12 月 2021
Exploration in C# TPL: A reenterable Awaiter

10 月 2021
重构一个C#方法

8 月 2021
奇怪的梦(一)

7 月 2021
使用Fiddler对应用了Certificate Pinning的Android应用进行抓包

7 月 2021
对KMP算法中前缀函数的分析以及正确性证明

5 月 2021
Lambda Expressions/Anonymous Functions are NOT Closure！

11 月 2020
如何获取Pixiv Web端的Cookie

10 月 2020
“斑马谜题”的求解

10 月 2020
在C#中实现Task.WhenAll

10 月 2020
Pixeval

10 月 2020