Skip to content
Étoiles et toi
Garden
我的笔记
朋友们
留言板
Pixeval
Search this site
Search
Close search
Garden
Ici on trouve finalement nos tranquillités…
Tended
Reviewed and maintained
Planted
Developed, still evolving
Seedling
An early idea
Papered
A finished piece
32 notes on this page
Newest growth at each tip
Filter
All
Tended
Planted
Seedling
Papered
32 results
Uncategorized
5
Certains bavardages…
11/21
论递归类型，章节一
10/13
论递归类型，章节二
10/13
一点小小的法语震撼
02/19
哲学，逻辑，与数学——从罗素悖论谈起
11/01
主题美化
1
字体推荐：Computer Modern Unicode
12/10
函数式编程
1
代数效应手记（一）
03/21
技术
12
从零开始用 Rust 实现一个内存管理器（一）
03/25
动手实现托管语言的内存管理器：压缩回收算法分析
01/03
从虚方法出发，谈谈编译器的优化策略
01/01
Pixeval
10/11
使用Fiddler对应用了Certificate Pinning的Android应用进行抓包
07/03
WinUI 3开发过程中DEP1700的解决办法
12/23
Exploration in C# TPL: A reenterable Awaiter
10/25
重构一个C#方法
08/17
对KMP算法中前缀函数的分析以及正确性证明
05/27
Lambda Expressions/Anonymous Functions are NOT Closure！
11/08
如何获取Pixiv Web端的Cookie
10/29
在C#中实现Task.WhenAll
10/17
数学
6
On structural property of free groups.
10/08
L’implémentation pratique d’un système de type
04/01
« Sur imprédicativité »
03/02
L’axiome du choix, dans le domaine de la théorie intuitionniste des types
06/29
The Entscheidungsproblem is undecidable
02/07
哲学，逻辑，与数学——从罗素悖论谈起
11/01
Algebra
1
On structural property of free groups.
10/08
日常
1
小阳人日记-12月22日
12/27
游戏
1
《战神：诸神黄昏》——一部瑜不掩瑕的续作（剧透警告）
12/06
离散数学
1
“斑马谜题”的求解
10/24
程序设计
5
代数效应手记（一）
03/21
动手实现托管语言的内存管理器：压缩回收算法分析
01/03
Rust的设计哲学：Trait与多态
12/06
Exploration in C# TPL: A reenterable Awaiter
10/25
重构一个C#方法
08/17
笔记
2
对KMP算法中前缀函数的分析以及正确性证明
05/27
“斑马谜题”的求解
10/24
算法
1
对KMP算法中前缀函数的分析以及正确性证明
05/27
类型论
1
L’implémentation pratique d’un système de type
04/01
编程语言
3
代数效应手记（一）
03/21
L’implémentation pratique d’un système de type
04/01
Rust的设计哲学：Trait与多态
12/06
编译原理
3
从零开始用 Rust 实现一个内存管理器（一）
03/25
动手实现托管语言的内存管理器：压缩回收算法分析
01/03
从虚方法出发，谈谈编译器的优化策略
01/01
随笔
8
Rust 交叉编译踩坑
03/21
To what reason, and to what extent, should we extend the border of the software?
01/03
小阳人日记-12月22日
12/27
Rust的设计哲学：Trait与多态
12/06
《战神：诸神黄昏》——一部瑜不掩瑕的续作（剧透警告）
12/06
哲学，逻辑，与数学——从罗素悖论谈起
11/01
理论知识在工程实践中的意义
02/08
奇怪的梦(一)
07/06
项目管理
2
Rust 交叉编译踩坑
03/21
WinUI 3开发过程中DEP1700的解决办法
12/23