reference

一个精心收集的反例合集，展示了类型系统的局限性和陷阱，作为程序员和语言设计者的教育资源。

一条来自@julien_c的推文，分享了一个帖子链接，可能涉及技术见解或想法。

精心整理的35个实用网站列表，涵盖生产力、设计、编程、安全等领域。

一个精心策划的GitHub仓库，包含涵盖软件架构术语、云计算、数据科学和开发者资源的全面思维导图和参考合集。

一本全面介绍数据压缩技术的书籍，涵盖信息论、编码方法、建模和变换，面向具备数学能力的程序员。

推荐一篇全网最强AI优质信源汇总文章，并建议使用Codex和Obsidian编译索引目录以便后续AI搜索优质信息。

关于Datalog的全面笔记：什么是Datalog，如何用多种语言实现，以及在程序分析中的应用，附带代码示例和资源。

一份对照参考表，比较Common Lisp、Racket、Clojure和Emacs Lisp的语法与特性。

作者整理了一份包含困惑LLM术语的词汇表，并附有面向生产的解释，然后进行清理，以可浏览的UI形式在GitHub上开源。

可搜索、交叉引用并带注释的1911年版《大英百科全书》在线版本。

为初级开发者精选的 56 条软件工程法则，详见 lawsofsoftwareengineering.com。

精心整理的 56 条软件工程定律与原则，涵盖系统、团队与决策。