主题 · 领域
AI 辅助工程
AI 作为工程工具：编码智能体、由 AI 编写的代码，以及当模型写下大部分代码时编程会变成什么样。
- 包括
- 增强
- 页面
- 14
地图上 14 个页面及其周边主题
2026
-
笔记A capability, democratised
Building software took money, a team, or years of training. Now anyone with an idea and a subscription can do it, and nobody predicted what would follow.
-
笔记Ideas stop waiting
In 2026 the backlog of ideas I carried for years is turning into things that exist. On why this year feels like a window that will not stay open.
-
笔记Power, in the good sense
The right word for what AI gives an individual builder is power, meant as capability rather than domination. It is refreshing to say so.
-
笔记The window before the utility
Tokens will be a metered utility and AI as ordinary as electricity. Until then, learning to use it well is an advantage that will not come around again.
-
笔记Opus 5.5 is the best Opus since 4.5
A month in, Claude Opus 5.5 feels like the next milestone after Opus 4.5: the same jump in what Claude Code can carry, now faster and cheaper per task.
- 13 分钟
The Proof You Only Have to Write Once
Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.
- 13 分钟
演讲I Stopped Writing Most of My Code
Slide deck for IT's ABOUT TECH #13 in Basel. A 15-minute story about what changed for a long-time engineer after Claude Opus 4.5 and Claude Code arrived, and what happens to a backlog of years-old ideas when the bottleneck stops being time.
- 7 分钟
The Field Exists Now
Alasdair Allan's agentlanguages.dev catalogue turns AI-oriented programming languages from a loose set of experiments into a field with camps, disagreements, and testable claims.
- 27 分钟
Source Code Is the New Assembly
Closing the trilogy. The artifact you author is no longer source code. It is a typed, verifiable object that carries meaning. Code becomes a lowering target.
- 23 分钟
What Comes After the Last Programming Language
If AI generates machine code directly, why are we still running operating systems designed for humans? The answer might be an inference-native OS.
- 19 分钟
What Sixteen AI Agents Taught Me About Management
What happens when you give sixteen AI agents an org chart, a reporting structure, and a token budget. A story about orchestration, management, and running out of runway.
- 26 分钟
The Last Programming Language Might Not Be for Humans
Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.
- 10 分钟
How I Work These Days
From Kaggle in 2020 to coding agents in late 2025. The shift that changed how I build and why my routine finally feels right.
- 29 分钟
How AI Makes Bare Metal Viable Again
I migrated two production apps from Kubernetes to a single Hetzner box. The missing piece was not the hardware.