Dev Tools

See all 10

The Assisted-by trailer in GCC, the Linux kernel and QEMU

How three projects currently handle the Assisted-by: commit trailer on AI-assisted patches: GCC's policy, the Linux kernel's documented format, and the checkpatch rule QEMU merged in September 2026, with the source text each one comes from.

Python

JSON formatter: format, validate, and debug JSON

A browser-based JSON formatter that prettifies, minifies, and points to the exact line and column where a payload won't parse — all in your browser. Plus the cases where jq or python -m json.tool is all you need.

AI Systems 看中文版

What Are GPT-5.6's Sol, Terra, and Luna?

OpenAI shipped GPT-5.6 as Sol, Terra, and Luna on July 9, 2026, and quietly ended the dedicated Codex checkpoint. What replaced it is a reasoning-effort dial whose top notch spawns subagents. This post lays out the three models, the six effort levels, and what the independent benchmarks measured.

AI Systems Read in English

GPT-5.6 的 Sol、Terra、Luna 是什麼

GPT-5.6 在 2026 年 7 月 9 日全面上線，分成 Sol、Terra、Luna 三階，而這一代的 Codex 沒有專用模型。專用 checkpoint 換成一格叫 ultra 的 reasoning effort，官方說它會叫 subagent 出來把大任務拆開做。這篇整理三顆模型怎麼分、六段 reasoning effort 是什麼，以及幾份獨立評測量到的數字。

AI Systems Read in English

Cursor 被 SpaceX 買走了。六百億，15 倍營收，然後呢？

SpaceX 用 600 億美元買下了 Cursor，大約是它年收入的 15 倍，普遍認為是史上最大的 VC 新創收購案。這個倍數背後有個具體的賭法：AI coding 工具的乘數效應，讓你值得付出基礎建設等級的溢價。

AI Systems 看中文版

Cursor Sold for $60B. What That Price Actually Signals.

SpaceX's $60B acquisition of Cursor isn't just M&A. At roughly 15x revenue for a four-year-old startup, the price encodes a specific thesis: that AI-assisted engineering compounds engineer output in a way worth paying an industrial premium for.

Agent

AI Systems 看中文版

AI 寫 code 為什麼又搬回終端機了

這兩年 AI 寫 code 的重心，悄悄從嵌在 IDE 裡的補全，搬回了終端機（Claude Code、Codex CLI 那一類）。我覺得這不是復古，是因為 agent 變成一個「你不盯著看的 process」，而終端機本來就是為這種東西設計的。

AI Systems 看中文版

Why coding agents are moving back to the terminal

The coding agents developers reach for now — Claude Code, Codex CLI, Aider — are terminal programs, not IDE plugins. An IDE is built around a human at the keyboard, the terminal around processes you don't babysit. When AI coding became a job instead of a keystroke, it moved home.