函数式编程 | #02 | Lambda演算中的循环与递归
在C语言中，循环的实现是基于跳转指令以及状态存储的，对于Lambda演算而言这些是不存在的，那么我们如何实现循环呢？
Learn Rust
学习一门新语言之Rust。
Linux 使用笔记
Linux 使用笔记，仅作记录。
GZ::CTF 开发日志
GZ::CTF 的开发纪实，记录开发过程、遇到的问题和心得体会。
函数式编程 | #01 | Lambda演算中的自然数
在定义了布尔值并且实现了“布尔运算”之后，我们要迈入下一步探索：自然数在Lambda演算中应该如何定义？
函数式编程 | #00 | 初识Lambda演算
Lambda演算：缘起，一个新世界的大门。
点云 | #01 | 大场景点云语义理解的优化
论文学习RandLA-Net: Efficient Semantic Segmentation of Large-Scale Point Clouds
三维点云大场景下的问题
点云的几何结构复杂且经常包含了大量的物品类别和巨量的数据规模。
GPU运算的限制、GPU内存的限制导致的落地难度。
小区块分割的方法无法很好的体现广域的特征，也有将一个物体“切断”导致的识别错误问题。
需求
找出更高效的降 ...
点云 | #00 | 机器学习与语义分割
点云
A point cloud is a set of data points in space. The points represent a 3D shape or object. Each point has its set of X, Y and Z coordinates.——摘自Wikipedia: Point cloud
点云(PointCloud)即一种空间中点的集合，它一般指 ...
当我无意中读了一些.NET源码……
当我翻开.NET源码之后，发现的一些好玩的、有趣的、值得探索的问题。
2020年终报告
2020年终报告大家都在写自己的年终总结，其实我觉得在隔壁你好，十九岁中已经写的差不多了，所以也的确没什么可以说的，今天看了个混剪: BV1si4y1w7UN
顿时觉得有些不知道说些什么才好。
20:40
刚刚泡好一杯奶茶，昨天的这时候其实蛮不舒服的，应该是有点感冒，浑身发热头还挺疼的，所以一觉从七点半左右睡到了十点，晚上吃了药，洗了一趟热水澡，然后倒头就睡到了今天早上九点。起来倒好，瞬间 ...