
获得徽章 0
- 如何写好程序:
- 判断哪些信息应该归组在一起
- 创建相应的数据结构来存这些信息
- 维护数据结构的接口
The key thing to note is that when designing a computational system,
it is extremely valuable to decide what kinds of information naturally should be grouped together,
and to then create structures that perform that grouping,
while maintaining interfaces to the structures that hide the details.展开2点赞 - 花 2 小时了解了下 Lambda 演算,发现:
- 一个不错的教程(纽约大学 Chris Barker)
- 3 本高质量的入门书赞过评论1 - 学校注重做题和死记硬背,但没有教会我们如何解决问题。
How to Solve it by Computer 这本书是致敬数学教育家 Polya,聚焦在如何用程序来解决问题。
感觉对学习算法是一本不错的书。评论点赞 - 学习 Lambda Calculus 和编程的 3 本入门书:
- 克里斯·汉金(Chris Hankin)的 An Introduction to Lambda Calculi for Computer Scientists。
- 丹尼尔·弗里德曼(Daniel P. Friedman)和马蒂亚斯·费莱森(Matthias Felleisen)所著的 2 本:The Little Schemer 第四版和 The Seasoned Schemer展开评论点赞 - 什么是第一性原理?
大厨(Chef)和厨子(Cook)的区别:大厨是第一个做出披萨🍕的人;厨子是之后所有做披萨的人。
小麦、番茄、盐和牛奶的历史可以追溯到很久以前,但在某一刻,有人说:"如果我把这些食材这样处理……再这样……再那样……"最终,世界上第一个披萨就诞生了。这就是主厨的工作。
从那时起,不知有多少人制作过披萨。这就是厨子的工作。
大厨从基本原理出发思考,对他们来说,基本原理就是未经加工的可食用原料。这些是他们的拼图碎片,他们的积木。他们从这里开始,运用自己的经验、直觉和味蕾,一步步向上创造。
而厨子则是在已有的基础上工作——可能是某种食谱,或是他们尝过并喜欢的一道菜,又或是他们看别人做过的一道菜。展开赞过评论1 - 推荐这 4 个高质量技术演讲,极具启发性,值得反复观看内化。
- Turning the Database Inside Out (Martin Kleppmann)
- Inventing on Principle (前 Apple UI 设计师 Bret Victor)
- Developing ClojureScript with Figwheel(Bruce Hauman)
- Live React: Hot Reloading with Time Travel (React 核心开发者 Dan Abramov)展开评论点赞 - 最近开始自学编程,传说中的“巫书” SICP(Structure and Interpretation of Computer Programs)看得有点费力。油管上,这位哥们 code_report 出了这套视频很有帮助!评论点赞