「阿母啊！我終於搞懂 Lexical Scoping 是啥啦～！」 Lexical scoping 與 Dynamic scoping 我以前一直嘗試想要弄懂但卻一直搞不懂，就算一時看懂了也不知這到底在幹麻或能幹麻所以每次看完就忘記（用不到的東西都記不住的啦），但最近因為 Lisp 寫得比較熟悉了，開始狂用 functional programming 的一些技巧後才終於了解其中奧妙，尤其是

Computer Science 61B: Data Structures

Teach Yourself Scheme in Fixnum Days的简体中文译版

Introduction to the intellectual enterprises of computer science and the art of programming. This course teaches students how to think algorithmically and solve problems efficiently. Topics include abstraction, algorithms, data structures, encapsulation, resource management, security, and software engineering. Languages include C, Python, and SQL plus HTML, CSS, and JavaScript. Problem sets inspired by the arts, humanities, social sciences, and sciences. Course culminates in a final project.

在很多地方都看到过这句出自 Ludwig Mies van der Rohe 的名言：Less is more […]

水木社区Emacs版

🏵️ A curated list of Emacs Lisp development resources

本文最新版已迁移至：http://thinkinside.tk/emacs_orgmode_editor.htmlorg-mode: 最好的文档编辑利器，没有之一尽管按照org-mode 官方 的说法，Org 是一个基于快速高效的文本方式来实现做笔记、管理待办事项（TODO list）以及做项目计划

Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover

An introduction to the intellectual enterprises of computer science and the art of programming.

618这种大促，对于一些价格相对较高又要日常使用的东西来说，绝对是囤货的好时节，护肤品就属于其中的一种。曾经我都是本着囤着万一过期的原则，基本上随用随买，结果就是都只剩最后一滴了才发现自己啥也没有了。 ...

Org-roam User Manual

1. 简介 1.1 什么是GTD Get Things Done(GTD)，是一套时间管理方法，面对生活中如下情况： 有很多事情要做 每件事情有主次之分 个人精力有限 我们需要随时很方便的了解我们下一步要做什么，合理的安排我们有限的时间，集中精力完成更重要的事情。 “GTD通过帮助你更好的跟踪和管理

原研药列表

家庭数据中心·docker·emby·nas·debian·trinitycore·网站地图·留言板·友情链接·其他功能·无敌说说·无敌书院·无敌工具·无敌漫画·无敌分享·无敌mv·无敌影院·参考文档·状态监测·流量监控

这是最好的时代，这是最坏的时代。这是 AGI 的时代，这是劣质多巴胺狂飙的时代。