To Do List

待写博客列表

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$    

2 thoughts on “To Do List”

Leave a Reply

Your email address will not be published. Required fields are marked *