lucida
blog paper tags 中文

Programming as Theory Building

1985 · Peter Naur

Naur argues that programming is not mainly producing text, but building a theory around the problem and solution that can be explained, extended, and revised.

Computer Programming as an Art

1974 · Donald E. Knuth

Knuth argues that programming is both science and art: it needs formal foundations, but also taste, style, and aesthetic judgment.

AI Surges, Programmers Take the Hit

2026-04-23

Now that AI coding has crossed into production, programmers are becoming one of the earliest white-collar groups facing large-scale replacement. Productivity is surging, headcount is shrinking, and behind the excitement there is not just a growth story but a quieter elimination process.

thoughts, notes, and writings