Giters

JYLeeLYJ / book-list-of-mine

make a backup tracing for my reading progress

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

程序员修炼之路

纯书单，刷书进度记录

√ ：Fin

= ：Partial

一. 程序设计语言

C/C++ 基础

  1. √ C++ primer 5 th
  2. √ Effectove Modern C++
  3. √ Inside the C++ Object Model
  4. √ 程序员的自我修养
  5. √ C++ Template 2nd
  6. √ C++ 并发编程实战
  7. √ STL 源码剖析
  8. √ C++ 模板元编程(c++98上古技法)
  9. √ Optimize C++ :《C++ 性能优化指南》
  10. √ From Mathematics to Generic Programming

函数式基础

  1. √ The Little Schemer
  2. √ Real World Haskell
  3. √ Introduction to Lambda Calculus
  4. The Little Typer
  5. The Little Prover
  6. √ Functional Programming in C++
  7. √ Build Your Own Lisp

其他编程语言

  1. Rust编程之道

二. 数学基础

入门拓展

  1. √ 程序员的数学系列
  2. √ 数学之美
  3. 什么是数学——对**方法的基本研究
  4. 古今数学**(math-history)
  5. = 同构 - 编程中的数学

科班基础

  1. √ 离散数学及其应用
  2. √ 陶哲轩实分析
  3. √ 概率导论
  4. √ 线性代数及其应用
  5. = 具体数学
  6. = Algebra (US . Artin)
  7. √ 数理逻辑,证明及其限度

More进阶

  1. Catogory Theory For Programmers
  2. Programming in Martin-Löf's Type Theory
  3. 递归论,算法与随机性基础

三.计算机科学基础 (待细分)

System

  1. = 深入了解计算机系统/CSAPP
  2. √ 计算机网络——自顶向下方法
  3. = x86汇编：从实模式到保护模式
  4. √ Linux内核设计与实现

Engineering

  1. √ Linux高性能服务器编程
  2. √ Linux多线程服务端编程——使用muduo网络库
  3. √ Performance Analysis and Tuning on Modern CPUs (Denis Bakhvalov)

Theory

  1. = Software Foundation
  2. = 计算机程序构造和解析/SICP
  3. = 算法导论/CRLS
  4. 形式语言与自动机理论

About Programming Language Theory

  1. = Types And Programming Language
  2. 程序设计语言的形式语义
  3. 编译原理(龙书/虎书)

Graphics

  1. 实时计算机图形学（4th）
  2. Fluid Engine Development
  3. Fluid Simulation for Computer Graphics

About

make a backup tracing for my reading progress