Programming

从零开始的 λ 演算

15 minute read

这是我在看完 PyCon 2019 演讲「Lambda Calculus from the Ground Up」之后做的一个文字版,原视频在 https://youtu.be/pkCLMl0e_0k。另见官网中的 介绍,这里提供一个翻译。

Rust + WebAssembly: 最近点对问题

8 minute read

先放 链接。这个项目一开始是算法课的一个上机作业,平面上的最近点对问题。这是一个使用分治法的计算几何学问题,具体的算法就不在这里解释了,这篇博客主要讲讲 Rust 和 WebAssembly。