#视频
科普视频，讲解了类型论的作用：《Why should you learn Type Theory?》
Reference：
* 类型系统推荐书籍
Post #440
3.19K
- 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 核心开发的文章，也许再过一段时间，他就不用亲手写算子了。