Notion Test
Using Notion as the third CMS of the blog.
Pak
Yixuan Wang's Blog
|_| todo!()
Recent Posts
In Rust We Bust
Rust 语言的踩坑记录。
Moving Forth, Moving Fourth
Yet another rewriting of my personal blog, explained in details.
StackOverflow 问题收藏夹
让程序员开心的 StackOverflow 问题，抄了又抄。
Curry-Howard Correspondence in Coq
What is Curry-Howard Correspondence and how does the type system of Coq implement it.
In Rust We Thrust
Rust 语言的一些奇技淫巧。
Rust 语言伪经
某汉语 Rust 教程没能正确告诉你的内容。
徐烈炯《生成语法理论》读书笔记
徐烈炯《生成语法理论：标准理论到最简方案》一书简要介绍 Chomsky 生成语法理论（主要是句法）及其流变。此为本书的读书笔记。
Tymnastics (2): 柯里化
用 TypeScript 的类型系统描述一个函数的柯里化过程。
WSL 2 端口转发到局域网
WSL 2 运行于独立的局域网内，需要一些操作才能将 WSL 2 的端口暴露到 Windows 宿主机所在的局域网。
Archive
Explore
Color Palettes
Red
Orange
Yellow
Green
Cyan
Blue
Purple
