books.md

正在读的书

计划读的书

• Linux Device Drivers

已读(倒序)

• 定投改变命运
• Operate System Three Easy Pieces
• Computer Science A Programmer's Perspective
• rCore Tutorial Book
• 程序员的自我修养:链接装载库(23.08.07-23.08.17)
• Rust Atomics and Locks
• 凤凰架构
• The Rustonomicon
• Linux 高性能服务端编程
• Asynchronous Programming in Rust
• beginning linux programming(与 APUE/TLPI 部分内容重叠)
• Rust 编程之道
• The Rust Programming Language(官方 the book 讲的太浅了)
• 為你自己學 Ruby on Rails
• 超圖解Arduino 互動設計入門
• 数学之美
• 浪潮之巅
• adventure in python(大学图书馆内我还看完过好几本 python 入门级的书不记得名字了)

工作两年后意识到自己读过的书太少了，总沉迷类似奶头乐这样时效性低的信息而没有接触时效性长含金量高的经典书籍， 因此建立书单记录读书过程，书单建立前读过的书就不一一记录了

以下是一些与离散数学、形式语言与自动机以及编译原理相关的书籍推荐：
数理逻辑(南京大学)可以被视为离散数学的一个分支，但它更注重于形式逻辑的研究

离散数学：

《离散数学及其应用》（Discrete Mathematics and its Applications） - Kenneth H. Rosen
《离散数学导论》（Introduction to Mathematical Reasoning） - Susanna S. Epp
《离散数学及其应用教程》（A Course in Discrete Mathematics） - Jiří Matoušek, Jaroslav Nešetřil
形式语言与自动机：

《形式语言与自动机》（Introduction to the Theory of Computation） - Michael Sipser
《自动机、语言与计算》（Automata, Languages, and Computation） - John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
《计算的本质：深入剖析程序和计算机》（The Nature of Computation: Introduction to Computer Science） - Cristopher Moore, Stephan Mertens
编译原理：

《编译原理》（Compilers: Principles, Techniques, and Tools） - Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman
《现代编译原理》（Modern Compiler Implementation in C/Java/ML） - Andrew W. Appel
《编译器设计与实现》（Engineering a Compiler） - Keith D. Cooper, Linda Torczon
这些书籍都是在相关领域被广泛使用的经典教材，它们提供了深入的理论和实践知识，适合作为学习的参考和指南。请根据个人的学习习惯和需求选择适合自己的教材。另外，还可以结合在线教学资源、学术论文以及习题集等多种学习资源来加深理解和实践。

---

已读非技术类书

• 黑客与画家
• 欺骗的艺术
• 大学之路
• 中国改革年代的政治斗争
• OKR 工作法