#杂
《A Tutorial Introduction to the Lambda Calculus》，关于lambda演算的一个简明教程，只有17页。
Post #437
2.78K
- Sep 27, 2026#系统编程 讲解Go语言并发主题的小书：《Go concurrency distilled》
- Sep 22, 2026#开源软件 开源本来承载的主要任务之一就是赢得信任，智谱这一把开源不但没有赢取信任，反而让更多人感到了疑问，比如我。
- Sep 22, 2026#开源项目 #Rust #数据库 hawdb：Rust编写的嵌入式图数据库，用于Nowledge产品中管理本地图数据。
- Sep 21, 2026#Rust #人工智能 最近看了好几个Rust相关的新闻，比如： * Rust在微软内部升级为一级语言：《Guest Post: Rust Is Tier-1 Language a…
- Sep 19, 2026#人工智能 这个翻译可以说是 信达雅 了。
- Sep 15, 2026#人工智能 《我不得不把才华埋葬在昨天》，Deepseek 核心开发的文章，也许再过一段时间，他就不用亲手写算子了。