函数式编程 | #02 | Lambda演算中的循环与递归
在C语言中,循环的实现是基于跳转指令以及状态存储的,对于Lambda演算而言这些是不存在的,那么我们如何实现循环呢?
Learn Rust
学习一门新语言之Rust。
Manim with VSCode 配置指南
Visual Studio Code 使用 Manim Mk.Ver 进行动画渲染的环境配置指南。
Linux 使用笔记
Linux 使用笔记,仅作记录。
函数式编程 | #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,我们的2020