待写博客列表

Data Structure & Algorithm

题目	说明	完成
反馈集问题	https://ac.els-cdn.com/S0166218X00003395/1-s2.0-S0166218X00003395-main.pdf?_tid=d26455a5-4512-43ba-b71c-e71c7e1f0647&acdnat=1538104743_082c2e08ff076ba5a1795cffbb0bffbe https://en.wikipedia.org/wiki/Feedback_arc_set https://stackoverflow.com/questions/6284469/how-to-remove-cycles-in-an-unweighted-directed-graph-such-that-the-number-of-ed https://github.com/zhenv5/breaking_cycles_in_noisy_hierarchies/tree/master/paper	否
LLVM Twine		否
LLVM STLExtras		否
LLVM-xRay	http://llvm.org/docs/XRay.html	否
Semmle/LGTM	machine learning + 静态分析？	否
Clang Fuzzer		否
LLVM Fuzzer		否
Clang VFS		否
Clang-Query		否
LLVM intrusive list		否
LLVM Sanitizer系列		否
rope structure		否

Programming Languages Theory & Compiler

题目	说明	完成
clang Thread Safe Analysis		否
std::invoke		否
C++是上下文无关文法吗		否
Semmle/LGTM	machine learning + 静态分析？	否
CodeChecker论文笔记	http://gsd.web.elte.hu/papers/2018/codecompass-industry_icpc_2018.pdf	否
Steensgaard’s pointer analysis		否
Cling		否
Clang CFI		否
WebAssembly		否
程序依赖性分析		否
Duck Typing		否
github semmantic		否

Programming Languages

题目	说明	完成
push_back vs emplace_back	https://abseil.io/tips/112	否
std::invoke		否
C++是上下文无关文法吗		否
VTable interleaving	https://reviews.llvm.org/D50372 https://reviews.llvm.org/D50754 https://reviews.llvm.org/D51905 https://cseweb.ucsd.edu/~lerner/papers/ivtbl-ndss16.pdf	否
Clang-Query		否
WebAssembly		否
Go goroutine + PLP coroutine		否
gopls		否
go packagetest		否
go test	否
go package相关	例如如何处理svn，git，如何对其进行优化
go pprof flame graph		否
C++ lambda	嵌套、函数参数和返回值？	否
Type Inference	知乎相关问答https://www.zhihu.com/question/307402618/answer/774975209	否

System & Others

题目	说明	完成
侧信道攻击总结	meltdown、spectre、TCP	否
HTTPS		否
OOM killer	否
Valgraind机制初探		否
jenkins & tekton		否
佛家不二和齐物论		否
小农思想和商人思维	我的小农意识和商人思维	否

心理学

Name	说明
认知失谐	来源于熊逸逍遥游
习得性无助	来源于熊逸逍遥游

Book Notes & Coursera Notes

Name	说明	完成
SICP		否
Programming Languages		否
The Litlle Typer	http://davidchristiansen.dk/tutorials/nbe/	否
枢纽	否
中国文化的精神	否
从诗经到红楼梦	否

随笔

Name	说明	完成
I don’t give a fuck	I don’t give a fuck	否
活在边界	工作和生活的最佳状态，就是永远活在边界，一面已知一面未知，借已知来习得未知	否
如何与权威沟通	是否拥有独立的人格，例如如何与上司沟通	否
逍遥游，至人无己，神人无功，圣人无名	和自己前面的some thoughts和莫居以名相结合	否
I got some bad ideas in my head	再次观看《出租车司机》，人如何进行不同角色间的转换。联想自己近两年的生活状态	否
勿回避冲突	联系儒家的形成机制	否
心中再也修不好的电子表	…	否
我不停地读书，思考，听音乐，让自己能够持续高贵和深刻，从而不会在众人的鄙夷里卑微成脚下的尘土，于此同时获得在世间行走的勇气		否

待了解

序号	说明	完成
1	https://blog.japaric.io/stack-analysis/	否
2	https://getstream.io/blog/how-a-go-program-compiles-down-to-machine-code/	否
3	https://www.quora.com/How-does-the-Go-language-compile-so-fast-compared-to-Java	否
4	https://talks.golang.org/2012/splash.article	否
5	https://github.com/Microsoft/language-server-protocol/issues/623	否
6	merkle trees	否
7	https://bluxte.net/musings/2018/04/10/go-good-bad-ugly/	否
8	R语言	否
9	https://codeburst.io/how-to-do-object-oriented-programming-the-right-way-1339c1a25286?gi=bfe4612c0797	否
10	https://medium.com/free-code-camp/why-i-think-flutter-is-the-future-of-mobile-app-development-768332b73c0d	否
11	fuchsia	否
12	https://github.com/tensorflow/swift/blob/master/docs/WhySwiftForTensorFlow.md	否
13	https://medium.com/free-code-camp/my-favorite-linear-time-sorting-algorithm-f82f88b5daa1	否
14	https://medium.com/free-code-camp/why-i-think-flutter-is-the-future-of-mobile-app-development-768332b73c0d	否
15	http://js.cytoscape.org/	否
16	http://sigmajs.org/	否
17	https://medium.com/system-design-blog/bloom-filter-a-probabilistic-data-structure-12e4e5cf0638	否
18	https://www.cs.tufts.edu/~jfoster/papers/oops09.pdf	否
19	Hindley-Milner type inference	否
20	https://softwarefoundations.cis.upenn.edu/	否
21	Algorithm W	否
22	RPC 需要一个透彻的学习和总结	否

待读博文/论文

序号	说明	完成
1	http://www.sizeofvoid.net/goroutine-under-the-hood/ 待细读，重点在linux switch_to实现和goroutine实现	否
2	Analysis of the Go runtime scheduler	否
3	https://www.joyfulbikeshedding.com/blog/2019-03-14-what-causes-ruby-memory-bloat.html	否

Book List

Tech Book

Compiler & PLT & Program Analysis

Book	Progress	Reading Notes	Rating
PLP	in progress
编译原理 Compilers: principles, techniques, & tools	√	Not Yet（门槛较高，理论较多，内容陈旧）	★★★★☆
flex & bison
深入理解 Java 虚拟机
垃圾回收的算法与实现
TAPL
自制编程语言
The little typer
Type Theory and Formal Proof
计算的本质
Structure and Interpretation of Computer Programs
Secure Programming with Static Analysis	√	Not Yet	★★★★☆
Static Program Analysis
Principles of program analysis
Data Flow Analysis : Theory and Practice
Modern Programming Languages
Programming Languages: Application and Interpretation http://cs.brown.edu/courses/cs173/2016/ https://www.youtube.com/watch?v=3N__tvmZrzc
Programming Languages and Lambda Calculi
Type Systems for Programming Languages
Practical Foundations For Programming Languages
Commentary on Practical Foundations for Programming Languages
The little schemer
An Introduction to Functional Programming Through Lambda Calculus
Discrete Mathematics and Functional Programming
Concepts of Programming Languages-Pearson
Type Systems Luca Cardelli
Proofs AND Types
Category Theory for Programmers https://www.youtube.com/playlist?list=PLbgaMIhjbmEnaH_LTkxLI7FMa2HsnawM_
Advanced Topics in Types and Programming Languages
Essentials of Programming Languages
Concepts, Techniques, and Models of Computer Programming
Elements of Programming
代码之髓
Engineering a Compiler

PLT 书单 https://steshaw.org/plt/

Programming Languages

Book	Progress	Reading Notes	Rating
Effective C++
深度探索 C++对象模型	√	Not Yet (内容陈旧)	★★★★☆
C++ Primer	√	Not Yet(入门书较为合格)	★★★★★
More Effective C++
STL 源码剖析
深入理解 C++11	√		★★★★☆
Effective Modern C++
Haskell 趣学指南 Learn You a Haskell for Great Good
深入浅出 Rust
Go 语言从入门到进阶实践
Go 语言学习笔记
cpp17
C++ Templates The Complete Guide
Programming in Haskell
Programming in Standard ML
ML for the working programmer

Systems

Book	Progress	Reading Notes	Rating
自己动手写 docker
Docker 技术入门与实践
容器云运维实践
Redis 设计与实现
深入理解 Kafka：核心设计与实践原理
SRE Google 运维解密
大规模分布式存储系统
RocketMQ 实战与原理解析
微服务设计
深入理解 Linux 内核	in progress	不推荐	★★★☆☆
Linux 多线程服务端编程	in progress		★★★★★
网络是怎样连接的
码农翻身	in progress	有些粗浅	★★★☆☆
程序员的自我修养	√	Not Yet	★★★★★
Distributed Systems: An Algorithmic Approach, Second Edition
Functional and Reactive Domain Modeling
计算机体系结构 量化研究方法	in progress	翻译太差	★★★☆☆
Kubernets 权威指南
图解 HTTP
Designing Data-Intensive Applications
Kubernetes in Action-Manning Publications
The Docker Book
图解 TCP/IP	√		★★★★☆
valgrind manual
Distributed Systems: Maarten van Steen
High Performance Spark: Best Practices for Scaling and Optimizing Apache Spark

Software Design

Book	Progress	Reading Notes	Rating
A Philosophy of Software Design
Clean Code
Reactive Design Patterns
Building Evolutionary Architectures: Support Constant Change
The Clean Coder:A Code of Conduct for Professional Programmers
Reactive Design Patterns-Manning
人月神话 The Mythical Man-Month: Essays on Software Engineering
深入浅出设计模式 Head First Design Patterns
A Philosophy of Software Design

Algo

Book	Progress	Reading Notes	Rating
算法导论
数据结构算法与应用：C++语言描述
编程珠玑
Introduction to Algorithms – A Creative Approach

Other Tech Book

Book	Progress	Reading Notes	Rating
技术的本质
数学之美	√	Not Yet	★★★★☆
具体数学
深度学习的数学
Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers		No
区块链革命
Jenkins 2.x 实践指南
图解机器学习
机器学习 – 周志华
Hands-On Machine Learning with Scikit-Learn and TensorFlow
Introduction to Linear Algebra
失效的科学
Domain-Specific Languages

Carrer

Book	Progress	Reading Notes	Rating
黑客与画家
暗时间	√	Not Yet. (甚对胃口，力荐))	★★★★★
卓有成效的管理者
万万没想到	in progress(2016 年中断)
清醒思考的艺术
明智行动的艺术
黑天鹅
重塑自我 如何成为一个很幸福的人
反脆弱
深度思考：透过表面看本质的六步思考法
思考，快与慢
浪潮之巅
12 Rules for Life
Never Eat Alone
系统之美 Thinking in Systems
态度改变与社会影响 The Psychology of Attitude Change and Social Influence
耶路撒冷三千年 Jerusalem The Biography
薛兆丰经济学讲义
认知天性 Make It Stick The Science of Successful Learning
禅与摩托车维修艺术
Out of Control 失控
影响力
学会提问
怪诞行为学
别做正常的傻瓜
错不在我
摇摆
Bounded Rationality
The Brain That Changes Itself
Nudge
奇特的一生
学习之道
高效能人士的七个习惯
The Art of Thinking Clearly
策略博弈
重新认识你自己

文史哲

Sociology&Philosophy&Psychology

Book	Progress	Reading Notes	Rating
新教伦理与资本主义精神
思辨的禅趣	√	Not Yet. (一家之言的嫌疑))	★★★★★
动物庄园
中国文化的深层结构
性与性格
逍遥游：当《庄子》遭遇现实	√	Not Yet. (熊逸的书入门，合胃口)	★★★★★
王阳明：一切心法
从 0 到 1
结构思考力
乡土中国
大局观从何而来
系统化思维导论
设计的法则
中国哲学简史
Principles
宗教生活的基本形式 The Elementary Forms of Religious Life		艰涩，暂时放弃
社会契约论
枪炮、病菌与钢铁	√	Not Yet. (于我而言五分，可能偏颇)	★★★★★
乡土中国
你的第一本哲学书
金字塔原理 : 思考、写作和解决问题的逻辑
社会与政治运动讲义
绝非偶然
中国哲学史大纲
经济学的思维方式
通往奴役之路
灵之舞
合作的进化
沉重的肉身
说中国：一个不断变化的实体
万古江河：中国历史文化的转折与开展
蒙田随笔
瓦尔登湖
谁在世界中心
拉丁美洲被切开的血管
自由的文化：古希腊与欧洲的起源
进化心理学	√	Not Yet. (书已遗失)	★★★★★
极权主义的起源
China Reconntects
The Journey of Man
Weber, Passion and Profits
Empires of Ancient Mesopotamia
A Theory of Justice-Belknap
人论
The social animal
The Sources of Social Power 社会权力的来源
The Psychology of Judgment and Decision Making
众病之王
性经验史
蚂蚁之美
Collapse: How Societies Choose to Fail or Succeed
狂热分子：群众运动圣经
反抗平庸之恶
随机漫步的傻瓜

History&Evolution

Book	Progress	Reading Notes	Rating
枢纽	in progress
从诗经到红楼梦	in progress
隐公元年：一部另类的中国思想史
祖先的故事
猿猴的把戏：进化论破解人际潜规则
人类起源的故事	√	《人类起源》	★★★★★
从黎明到衰落	in progress	(欧洲史知识不足，先补齐欧洲史))
自私的基因	√	Not Yet. (虽不是专业书，与我足矣)	★★★★★
秦迷	√	Not Yet. (几年前粗读)	★★★★☆
两汉两罗马
人类简史
全球通史
中东史
英国通史
地中海与菲利普二世时代的地中海世界
未来简史
生命的跃升	in progress	(几年前中断，对生物进化感兴趣的力荐)
罗马史研究入门
犹太人的故事
蒙元入侵前夜的中国日常生活
中国思想史
中国古代思想史论
中国思想史论
中国思想史十讲
金雀花王朝
万历十五年
人类的荣耀
重返人类演化现场
火的记忆 1: 创世纪
现代世界体系
阿拉伯的劳伦斯：战争、谎言、帝国愚行与现代中东的形成
中国现代国家的起源
中国历代政治得失
专制与民主的社会起源
鸟瞰古文明

Novel

Book	Progress	Reading Notes	Rating
野性的呼唤	$\times$	Not Yet.	★★★★☆
小王子	in progress
月亮与六便士	$\times$
遥远的救世主	$\times$	书与电视剧基本相同，用作未来翻阅
局外人	in progress	几年前放弃
罪与罚	$\times$
恶之花	$\times$
Atonement	$\times$

Others

Book	Progress	Reading Notes	Rating
看电影的门道
乐之本事

English

Book	Progress	Reading Notes	Rating
英语语法新思维 – 初级教程
英语语法新思维 – 中级级教程
英语语法新思维 – 高级教程
英语魔法师之语法俱乐部	in progress
英语词根与说文解字	in progress
英语词根与英语派生词
English Through Pictures

https://zhuanlan.zhihu.com/p/55364335
https://www.zhihu.com/question/304152591/answer/582946546
http://cs.brown.edu/courses/csci1730/2019/

Coursera List

Computer Science

Course	State	Course Notes	Rating
Programming Languages, Part A	√	Not Yet	★★★★★
Programming Languages, Part B	√	Not Yet	★★★★★
Programming Languages, Part C
Algorithms, Part I
自动机导论	in progress	几年前中断
编译器	√	几年前粗略上过(未做作业)
Functional Program Design in Scala

Others

Course	State	Course Notes	Rating
古典音乐导论	$\times$