lucida
blog paper tags

经典重读

14 篇文章

AI 翻译小记 · UNIX 分时系统 · 计算机程序设计的公理基础 · 数据不可思议的有效性 · 你和你的研究

AI

6 篇文章

AI 翻译小记 · 数据不可思议的有效性 · 苦涩的教训 · AI 技术翻译 · [经典重读][1/n] Worse Is Better

软件工程

6 篇文章

计算机程序设计的公理基础 · 编程即理论建构 · 没有银弹 · “越差越好”的兴起 · 计算机系统设计箴言

编程

5 篇文章

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

读书

4 篇文章

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

Codex

2 篇文章

AI 翻译小记 · AI 技术翻译

Markdown

2 篇文章

AI 翻译小记 · AI 技术翻译

书评

2 篇文章

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

回顾

2 篇文章

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

机器学习

2 篇文章

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

编程语言

2 篇文章

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

翻译

2 篇文章

AI 翻译小记 · AI 技术翻译

长篇

2 篇文章

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

Agentic Coding

1 篇文章

AI 狂飙,码农挨刀

C#

1 篇文章

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

UNIX

1 篇文章

UNIX 分时系统

函数式编程

1 篇文章

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

学习

1 篇文章

程序员必读书单 1.0

安全

1 篇文章

对信任“信任”的反思

形式化方法

1 篇文章

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

思考

1 篇文章

程序员必读书单 1.0

技术

1 篇文章

程序员必读书单 1.0

技术史

1 篇文章

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

操作系统

1 篇文章

UNIX 分时系统

数据

1 篇文章

数据不可思议的有效性

研究

1 篇文章

你和你的研究

科学

1 篇文章

你和你的研究

程序员

1 篇文章

AI 狂飙,码农挨刀

程序正确性

1 篇文章

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

系统设计

1 篇文章

计算机系统设计箴言

编译器

1 篇文章

对信任“信任”的反思

职业

1 篇文章

你和你的研究

职场

1 篇文章

AI 狂飙,码农挨刀

计算机科学

1 篇文章

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

调试

1 篇文章

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

软件架构

1 篇文章

没有银弹

thoughts, notes, and writings