Étoiles et toi
GitHub
Pixeval
Me
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