lucida
blog paper tags

经典重读

20 篇文章

计算机器与智能 · 知识在社会中的运用 · 分布式系统中的时间、时钟与事件顺序 · 系统设计中的端到端论证 · 弱关系的力量

AI

7 篇文章

计算机器与智能 · AI 翻译小记 · 数据不可思议的有效性 · 苦涩的教训 · AI 技术翻译

软件工程

7 篇文章

论把系统分解为模块时应采用的准则 · 计算机程序设计的公理基础 · 编程即理论建构 · 没有银弹 · “越差越好”的兴起

编程

5 篇文章

编程即理论建构 · 计算机程序设计作为一种艺术 · AI 狂飙,码农挨刀 · 程序员必读书单 1.0 · 90 分钟实现一门编程语言——极简解释器教程

读书

4 篇文章

[书评] Debugging: 9 Indispensable Rules - 调试九法 · 我们能从一本 45 年历史的计算机书中学到什么 · 程序员必读书单 1.0 -- 六年后的回顾 · 程序员必读书单 1.0

软件架构

3 篇文章

系统设计中的端到端论证 · 论把系统分解为模块时应采用的准则 · 没有银弹

Codex

2 篇文章

AI 翻译小记 · AI 技术翻译

Markdown

2 篇文章

AI 翻译小记 · AI 技术翻译

书评

2 篇文章

[书评] Debugging: 9 Indispensable Rules - 调试九法 · 我们能从一本 45 年历史的计算机书中学到什么

分布式系统

2 篇文章

分布式系统中的时间、时钟与事件顺序 · 系统设计中的端到端论证

回顾

2 篇文章

迁移 blog 回静态博客 · 程序员必读书单 1.0 -- 六年后的回顾

机器学习

2 篇文章

数据不可思议的有效性 · 苦涩的教训

系统设计

2 篇文章

分布式系统中的时间、时钟与事件顺序 · 计算机系统设计箴言

编程语言

2 篇文章

“越差越好”的兴起 · [经典重读][1/n] Worse Is Better

翻译

2 篇文章

AI 翻译小记 · AI 技术翻译

长篇

2 篇文章

程序员必读书单 1.0 · 90 分钟实现一门编程语言——极简解释器教程

Agentic Coding

1 篇文章

AI 狂飙,码农挨刀

C#

1 篇文章

90 分钟实现一门编程语言——极简解释器教程

Hayek

1 篇文章

知识在社会中的运用

UNIX

1 篇文章

UNIX 分时系统

人工智能

1 篇文章

计算机器与智能

函数式编程

1 篇文章

90 分钟实现一门编程语言——极简解释器教程

哲学

1 篇文章

计算机器与智能

图灵

1 篇文章

计算机器与智能

学习

1 篇文章

程序员必读书单 1.0

安全

1 篇文章

对信任“信任”的反思

市场

1 篇文章

知识在社会中的运用

形式化方法

1 篇文章

计算机程序设计的公理基础

思考

1 篇文章

程序员必读书单 1.0

技术

1 篇文章

程序员必读书单 1.0

技术史

1 篇文章

[经典重读][1/n] Worse Is Better

操作系统

1 篇文章

UNIX 分时系统

数据

1 篇文章

数据不可思议的有效性

模块化

1 篇文章

论把系统分解为模块时应采用的准则

知识

1 篇文章

知识在社会中的运用

研究

1 篇文章

你和你的研究

社会学

1 篇文章

弱关系的力量

社会网络

1 篇文章

弱关系的力量

科学

1 篇文章

你和你的研究

程序员

1 篇文章

AI 狂飙,码农挨刀

程序正确性

1 篇文章

计算机程序设计的公理基础

经济学

1 篇文章

知识在社会中的运用

编译器

1 篇文章

对信任“信任”的反思

职业

1 篇文章

你和你的研究

职场

1 篇文章

AI 狂飙,码农挨刀

计算机科学

1 篇文章

计算机程序设计作为一种艺术

计算机网络

1 篇文章

系统设计中的端到端论证

调试

1 篇文章

[书评] Debugging: 9 Indispensable Rules - 调试九法

逻辑时钟

1 篇文章

分布式系统中的时间、时钟与事件顺序

thoughts, notes, and writings