36 篇

文章

关于平台自动化、边缘基础设施、应用安全和 AI 辅助工程的文章。

书和论文的书评也归档在这里,并收录在书评下。完整的阅读记录,包括我正在读的、接下来要读的和已经读过的,单独放在一页上。

  1. 2026

  2. Learning to Play

    A chess prodigy's handbook, three old games and one laptop: rebuilding the ideas behind game-playing AI in Rust for a browser on my phone, and measuring them.

    游戏 AI机器学习强化学习游戏RustWebAssembly技术史

    22 分钟
  3. 书评The Web Was the Training Set

    Tim Berners-Lee's memoir is the story of a British engineer at a Franco-Swiss lab giving a protocol away. Read in 2026, it is also the origin story of AI's data supply.

    技术史超文本训练数据数据主权研究实验室知识产权欧洲

    16 分钟
  4. Observability Is Not Logging

    A cost total says nothing about how a run went. This part turns each agent run into a trace: which turn escalated, which tool failed, where the money went.

    智能体AI 平台可观测性OpenTelemetryTypeScript

    15 分钟
  5. This Site Is Becoming a Map

    A blog shows what I wrote last. The new map on raskell.io shows what I keep coming back to, and it is the start of a public second brain.

    关于本站知识管理超文本开放网络Zola外部记忆

    9 分钟
  6. The Bill Is Part of the Loop

    Every model response already carries its own bill in the usage field, and the loop throws it away. This post reads that field, prices it against a table, and turns cost into a value the loop can see per turn and act on: a metering decorator that needs no loop change, a running ledger, prompt-cache accounting that moves the number the most, and a budget that degrades before it stops. Part eight of The Agent Platform Handbook.

    智能体AI 平台经济学可观测性指标TypeScript

    10 分钟
  7. The Model Is a Dependency

    Every layer of the harness has existed to put the right tokens in front of one hardcoded model string. This post pulls that string out and makes the model a dependency: why you route a cheap model for easy turns and a strong one for hard turns, what a fallback looks like when a provider is down, and why 'models are commodities' is a claim about your architecture before it is a claim about the market. Part seven of The Agent Platform Handbook.

    智能体AI 平台推理可靠性经济学TypeScript

    14 分钟
  8. The Bottleneck Is Data, and Europe Is Sitting on It

    Frontier AI is running short on public text, not compute. Europe's edge is the high-quality data it never put online. Capturing it needs coordination.

    训练数据开放数据欧洲知识产权来源溯源语言与翻译技术竞赛

    34 分钟
  9. Brain Emulation, Read as an Infrastructure Problem

    An MIT thesis argues brain emulation has crossed into engineering. Read as infrastructure, the numbers describe a workload your AI cluster was not built for.

    分布式系统推理GPU神经科学智能模拟

    12 分钟
  10. Memory Is a Write Path

    Retrieval reads context the project authored. Memory is the agent writing context for its own future sessions, and the write is the part that is dangerous. Why session memory comes free from the transcript, why cross-session memory needs a separate write surface, and how to let an agent remember without letting it corrupt its own ground truth. Part six of The Agent Platform Handbook.

    智能体上下文工程知识管理TypeScript外部记忆

    19 分钟
  11. 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.

    形式化方法编程语言AI 辅助工程开源Haskell编译器

    13 分钟
  12. Retrieval Is a Tool, Not a Layer

    Loading the whole .AGENTS/ directory on every turn does not scale. The fix is not a retrieval layer bolted to the side of the agent. It is a search tool in the registry the agent already has. BM25 over project docs, no vector store, and an honest account of when embeddings start to earn their keep. Part five of The Agent Platform Handbook.

    智能体上下文工程TypeScript

    16 分钟
  13. Context Is the Product

    Models are commodities. Context is not. The sources of context an agent draws on, why retrieval alone is not enough, and a minimal .AGENTS/ convention that loads context from disk into the same harness we have been building. Part four of The Agent Platform Handbook.

    智能体上下文工程经济学TypeScript外部记忆

    26 分钟
  14. Tools: How Agents Actually Do Things

    Function calling is the API between language and action, but the engineering is in the registry. A working four-tool registry in TypeScript on Bun, schema design that survives model drift, parallel tool calls, and the failure modes nobody mentions in the demo. Part three of The Agent Platform Handbook.

    智能体TypeScript

    13 分钟
  15. Your Agent Wants Root

    An agent with a shell tool is arbitrary code execution with a friendly face. A short tour of why Docker alone is not enough, what Firecracker, gVisor, and Kata actually solve, and a hardened sandbox you can wrap the post-one agent in today. Part two of The Agent Platform Handbook.

    智能体隔离应用安全

    16 分钟
  16. What an Agent Actually Is

    AI agent is the most overloaded word in the industry. This is the anatomy, the lineage, and a working implementation in roughly two hundred lines of TypeScript on Bun. Part one of The Agent Platform Handbook.

    智能体AI 平台TypeScript

    19 分钟
  17. 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.

    编程语言AI 辅助工程形式化方法Haskell编译器

    7 分钟
  18. 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.

    AI 辅助工程编程语言形式化方法Haskell编译器来源溯源

    27 分钟
  19. Patents Per Capita Is a Vanity Metric

    Switzerland tops the Global Innovation Index for the fifteenth year running. As an engineer, that should make you suspicious of the metric, not proud of the country.

    指标政策主权经济学瑞士知识产权

    23 分钟
  20. Traffic Replay as a Security Primitive

    WAF tuning is a guessing game because you cannot reproduce the traffic that triggered the rule. Deterministic replay changes that.

    应用安全WAF 与流量检测边缘系统可靠性开发者工具

    12 分钟
  21. The Economics of Inference

    Inference tokens are not API calls. They are a metered resource that is consumed, generates value, and correlates with power draw. The economics of the post-AI world look less like software and more like water, electricity, and gas.

    推理经济学主权边缘系统GPU

    12 分钟
  22. 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.

    操作系统推理GPU隔离编程语言AI 辅助工程

    23 分钟
  23. 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.

    智能体AI 辅助工程经济学增强

    19 分钟
  24. Why We Built a Haskell Package Manager in Rust

    hx is a fast, opinionated Haskell toolchain built in Rust, following the playbook astral.sh used to modernize Python.

    开发者工具编程语言开源HaskellRust

    19 分钟
  25. 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.

    AI 辅助工程编程语言形式化方法Haskell编译器

    26 分钟
  26. Notes from RSAC 2026

    Third time at RSA Conference, first time as a speaker. What I saw, what I heard, and what I am still processing.

    应用安全AI 赋能运维智能体政策主权

    23 分钟
  27. What Zentinel Is Really Optimizing For

    Every major proxy was a product of its time. Zentinel is built for this one: safety, operability, and the operator's ability to sleep.

    边缘系统应用安全WAF 与流量检测隔离可靠性可观测性RustPingora

    18 分钟
  28. 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.

    AI 辅助工程开发者工具Rust增强

    10 分钟
  29. Archipelag.io Is in Open Beta: Here's Why I Built It

    From watching Ethereum miners in 2016 to building a decentralized compute network in open beta. Architecture, conviction, and the long road.

    分布式系统边缘系统主权推理隔离自托管ElixirRust

    23 分钟
  30. 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.

    平台自动化自托管AI 辅助工程经济学KubernetesRustElixir

    29 分钟
  31. Edge Systems Are the New Backend

    Auth, policy, and business logic are migrating to the edge. The traditional backend is becoming a persistence layer.

    边缘系统应用安全分布式系统本地优先WAF 与流量检测RustPingora

    30 分钟
  32. 2025

  33. Looking back on 2025

    On reading Tim Berners-Lee in Okinawa, and why AI might accidentally save the web from itself.

    去中心化注意力经济开放标准边缘系统关于本站公地涌现

    7 分钟
  34. Mise ate my Makefile

    Mise replaced Make, asdf, and a pile of shell scripts with a single TOML file per project. Here is why it stuck.

    开发者工具平台自动化Rust

    12 分钟
  35. 2024

  36. Disk space maintenance on Void Linux

    Cleaning old kernels, pruning xbps package cache, and reclaiming disk space on Void Linux without breaking your system.

    操作系统Linux

    4 分钟
  37. 2023

  38. All beginning is Haskell

    How Haskell shaped the way I think about building systems, and why I am still building Haskell tooling years after writing my first monad.

    编程语言Haskell开发者工具编译器

    10 分钟
  39. My OpenBSD journey: Getting it virtualized with libvirt (1)

    A step-by-step guide to running OpenBSD in a libvirt virtual machine on Void Linux, without needing VirtualBox or VMWare. Part 1 of my OpenBSD journey.

    操作系统OpenBSDLinux

    10 分钟
  40. 2022

  41. Hello and outlook

    The first post on raskell.io. What this site is for and what I planned to write about.

    关于本站开源开放网络

    1 分钟

    打开完整搜索 →