#ソフトウェア工学 のAIニュース

TypeScript で実装したワークフローの「正しさ」を Lean とランダムテストで検証する

怠惰の美徳を失った危険性について

Bryan Cantrillは、LLMが怠惰の美徳を欠き、作業コストを感じないため、システムを改善せずに肥大化させ、無意味な指標を追求する危険性を指摘している。

AnthropicのClaude神話問題、Dark DNAの解明、支援モデルの落とし穴、流体力学のシミュレーション

The Batch AI News and Insightsが、AIエージェントがコーディングを加速させる中でのソフトウェア工学の未来について論じている。

二種類のエラー

著者はエラーを「予期されたエラー」（ユーザーの無効入力など）と「予期しないエラー」（nullポインター例外など）に分類し、前者は正常運用の一部として処理すべきで、後者は開発者の過失を示すバグであると主張している。

エンジニアリングの制御：『エージェントファースト』の世界でCodexを活用する

OpenAIチームが、Codexエージェントを使用して100万行のコード製品をゼロから構築した経験を共有した。3人のエンジニアが1500のプルリクエストを処理し、完成時間は手動コーディングの10分の1だった。

レディバード、AIの支援でRustを採用

アンドレアス・クリングによる、AIコーディングエージェントを活用した大規模プロジェクトでのRust採用の先進的ケーススタディ。

仕様は依存ツリーのどこに位置するのか？

RFC 9110は数千の推移的依存関係を持つファントム依存であり、仕様が依存ツリー内でどのように位置付けられるかを考察する。

AIがコードの大半を書くときの悲しみ

AIがほとんどのコードを生成するようになると、ソフトウェアエンジニアリングはどうなるか。開発者には悲しみが伴うと指摘。

百年後の言語

ポール・グレアム氏がPyCon 2003で、百年後のプログラミング言語のあり方について考察した。未来予測の困難さを認めつつ、言語設計の本質的な要素について議論している。

簡潔さは力なり

チャールズ・バベッジは代数記号による意味の圧縮が推論を容易にすると述べた。ポール・プレスコッドはPythonの目標は規則性と可読性であり簡潔さではないと主張した。

言語設計に関する五つの問い

プログラミング言語は人間のためのものであり、曖昧さのない言語であればコンピュータはどの言語でも問題なく動作する。