仮定は特性を弱める
論理的な含意（implication）の観点から、「仮定を追加すると特性（プロパティ）は弱くなる」という原則を解説。JSONパーサーやRustのメモリ安全性、モックテストなどの実例を通じて、なぜ強い特性を直接検証せずに仮定を設けるのか、その理由（実現不可能性、コスト、検証容易性）を説明する。また、仮定の多くがシステム外部要因に依存する点にも言及し、仮定の検証自体がコード検証とは別の難しい課題であることを指摘する。
関連記事
Prompts for AI coding tools are a form of technical debt that decays silently with each model upgrade, unlike code. The author advises against investing heavily in bespoke agentic setups, recommending instead using third-party tools with minimal configuration and keeping custom prompts limited to concrete project facts.
Gary Marcus scrutinizes recent claims from OpenAI and Anthropic, urging readers to examine the underlying details and math behind their headline-grabbing announcements rather than taking them at face value.
The article argues that prompts used for AI tools like large language models are a form of technical debt, as they require ongoing maintenance, are poorly documented, and can break silently when underlying models change, leading to unpredictable costs and system fragility.