2025书单
2025年阅读的书书单
ING 1 《哥德尔，埃舍尔和巴赫—集异璧之大成》
DONE 2 《漫画理想国》
DONE 3 《极简物理》
DONE 4 《知识的边界》
DONE 5 《解经式讲道》
DONE 6 《禅与摩托车的维修艺术》
一本很好的哲学入门书, 涉及认识论中古典主义,浪漫主义. 逻辑和美, 其中关于良质的讨论更是让人心往神怡.
ADT
什么是代数数据类型
(缩写：ADT）是一种复合类型，指由其他资料类型组合而成的类型，在电脑编程中，尤其是函数式编程和类型论中应用。 两类常见的代数类型是积类型（即元组和记录）与和类型（即标签联合)
AWS SAP考试学习笔记
VPC
域: 是一个通用的 DNS 概念。域名是数字寻址 Internet 资源的易于识别的名称。例如，amazon.com 是一个域
Lambda 演算
什么是 lambda 演算
\(\lambda\) 演算（Lambda Calculus）是一种形式体系，它仅通过函数定义（抽象化）与函数应用这两种极为简单的操作来表达计算。它虽然简单，却是图灵完备的，可以模型化任何计算，并构成了函数式编程语言的理论基础。
2024书单
DONE 1 《go语言定制指南》
还不错的一本书，主要讲了Go的语法解析，语义分析， 它的AST， SST， 以及LLVM，最后利用LLVM和Go做了一个新语言的Demo