追求技术之上的进阶阅读学习索引

Coder Reference

追求技术之上的进阶阅读学习索引 是笔者 Awesome Reference 系列的一部分,类似于 机器学习、深度学习与自然语言处理领域推荐的书籍列表 ,希望能收集一些不仅仅是某个工程应用领域的知识或技能的阅读清单,而是培养高屋建瓴的更为抽象的思维的辅助。

Sight

  • How to be a Programmer: 做一个好的程序员,困难而高尚。将一个软件工程集体愿景变为现实,最困难的地方在于与你的同事和顾客相处。编程很重要,这需要强大的智力和技能。 但在好的程序员看来,相比构建一个让客户和各种各样的同事都满意的软件系统,(纯粹的)编程真的只是小孩子的玩意。在这篇文章里,我尝试尽可能简洁地总结那些当我21岁时,希望别人告诉我的事。

  • TeamStuQ SkillMap: StuQ 程序员技能图谱是由 StuQ(StuQ - 一个新的学习方式提升你的IT职业技能)发起的一个技术社区开源项目,志在汇集整理共建泛 IT 技术领域(云计算,大数据,运维,安全,开发语言,智能硬件等)及互联网产品、运营等领域学习技能图谱,帮助程序员梳理知识框架结构,并尝试提供路径指导和精华资源,方便技术人学习成长。

  • 某熊的技术图谱:去年年底,笔者发表了一篇我的编程之路——知识管理与知识体系,是我那时对于技术体系的认知。在即将过去的2016年中我参与到了更多的实践当中,特别是在Web前端开发领域更深入了几分。触类旁通,举一反三,在整个软件编程体系内的各个知识都可以相互印证。技术分为术与道两者,术即是具体的做事的方法,而道则是做事的逻辑抽象的原则与原理。一味地追求术的人往往都是希望走捷径,不求甚解的。而道之所求也是符合一万小时原理,需要大量的付出与总结。不过平心而论,很多初学者是务必从道学起,笔者今年也带了很多的新人,发现绝大部分人还是学过的知识忘了,写过的代码没了,前行的速度抵不上时间的流逝。本文的立意还是希望以一家之言勾勒出灿烂星空,辅你打造知识海洋里的一叶扁舟。

Collection

Book

  • [2004-SICP - Structure and Interpretation of Computer Programs【Book】](): 中文名为《计算机程序的构造和解释》哪怕过了30年在知识爆炸各种新技术层出不穷的今天,书中的内容不但没有过期而依然保持高价值,因为它讲的不是术而是道,即不是某一项具体的技术,而是通过 scheme 这门 lisp 方言和相关的例子,解释了计算机程序的本质和特征。

  • 2008-Clean Code: A Handbook of Agile Software Craftsmanship: 中文译名代码整洁之道

  • 2008-编程珠玑:本书是计算机科学方面的经典名著。书的内容围绕程序设计人员面对的一系列实际问题展开。作者Jon Bentley 以其独有的洞察力和创造力,引导读者理解这些问题并学会解决方法,而这些正是程序员实际编程生涯中至关重要的。

  • 2010-计算机程序设计艺术:《计算机程序设计艺术》系列被公认为计算机科学领域的权威之作,《美国科学家》杂志曾将这套书与爱因斯坦的《相对论》等书并列称为20世纪最重要的12本物理学著作。《计算机程序设计艺术》深入阐述了程序设计理论,对计算机领域的发展有着极为深远的影响。

  • 2011-CSAPP:深入理解计算机系统【Book】: 绝对的好书,从程序员的视角深入浅出地介绍了计算机系统底层原理,这里提供笔者搜集的 2011-深入理解计算机系统2ED-扫描全版

  • 2012-数学之美:名为数学之美,实为信息技术(自然语言处理)中的数学原理(统计语言模型)之美。帮助读者更深刻地理解了大学所学的线性代数、概率论与数理统计和应该学而没学的随机过程、图论、机器学习的应用意义。笔者印象深刻看到了其中讲解 Tf-Idf 与信息论之间的关联,很有启发。

  • 2013-松本行弘-代码的未来:Ruby之父松本行弘的又一力作。作者对云计算、大数据时代下的各种编程语言以及相关技术进行了剖析,并对编程语言的未来发展趋势做出预测,内容涉及Go、VoltDB、node.js、CoffeeScript、Dart、MongoDB、摩尔定律、编程语言、多核、NoSQL等当今备受关注的话题。内容比较浅显宽泛,偏向于技术普及性质。

  • The Architecture of Open Source Applications【Book】: 神书一套,介绍了很多开源软件的架构设计,In these two books, the authors of four dozen open source applications explain how their software is structured, and why. What are each program's major components? How do they interact? And what did their builders learn during their development? In answering these questions, the contributors to these books provide unique insights into how they think.

  • 2013-The Little Schemer V4:This delightful book leads you through the basic elements of programming in Scheme (a Lisp dialect) via a series of dialogues with well-chosen questions and exercises. 其他兄弟篇:1989-The Little LISPer1995-The Seasoned Schemer2005-The Reasoned Schemer2015-The Little Prover

  • 2015-The-Art-Of-Programming-By-July【Book】: 编程之法:面试和算法心得

  • 2017-Mathematics for Computer Science【Book】:This text explains how to use mathematical models and methods to analyze problems that arise in computer science

  • 2017-Software Foundations【Book】: This electronic book is a course on Software Foundations, the mathematical underpinnings of reliable software. Topics include basic concepts of logic, computer-assisted theorem proving, the Coq proof assistant, functional programming, operational semantics, Hoare logic, and static type systems.

Course

Site

编辑于 2017-03-08

文章被以下专栏收录