コーディングは解決されていない

たとえあなたが有能でも、LLMの大混乱前に比べて、今は1日で5000行のコードを書くのをレビューするのは無理だよ。

怠け者で無能な開発者がひどいコードを出すのを防ぐための手段だったのに これを思い出させる分類があるよね。 https://en.wikipedia.org/wiki/Kurt_von_Hammerstein-Equord#Cl... 「私は4つのタイプを区別します。賢くて勤勉な者、愚かで怠け者、賢くて怠け者、愚かで勤勉な者です。通常、2つの特徴が組み合わさっています。賢くて勤勉な者は参謀本部に適しています。次に愚かで怠け者な者がいて、彼らは軍隊の90％を占め、ルーチン業務に向いています。賢くて怠け者な者は、難しい決断に必要な精神的な明晰さと神経の強さを持っているため、最高の指導職に適しています。愚かで勤勉な者には注意が必要です。彼には責任を持たせてはいけません。なぜなら、彼は常に損害を引き起こすからです。」

AIの限界は確かにあるけど、ひとつの修辞的なポイントが繰り返し出てきて混乱してるんだよね。> もし決定的な結果を期待しているなら、その愚かさに気づいてほしい。人間が生み出すコードに対して決定的であることを期待しているの？

言い換えれば、AIは倍増器なんだ。

AIがコードを作り、AIがコードをレビューする…ここにバカバカしさが見えると思うけど。AIコーディングエージェントが犯したエラーをどれだけ見つけるか、驚くと思うよ。でも、君が指摘したように、決定論的じゃないし、最終的な結果が100%完璧なコードになる保証はないよね。

注意：俺は毎日AIを使ってるけど、怠けず無能でなければ高品質なソフトウェアを作ることは全然可能だよ。一般的に俺が他の人にAIについて教えようとしていることは、素晴らしいツールになり得るけど、結果をチェックしなきゃダメってこと！特にエンジニアリングの場合は、確認してから再確認するのが大事だよ。

俺が見つけたのは、AIは怠け者で無能な開発者をさらに怠けさせ、無能にさせるってことだ。これが製品の質をより悪化させる、しかも早くね。そう思う。俺には、まるで「すべてに動的型付けを使う」流行のように見える。タイプ宣言は悪い、静的型付けは開発を遅くする、すべてを動的型付けにすればもっと早くコーディングできるって主張する若手や無能な開発者がたくさんいた。新しいプロジェクトの文脈では、彼らは完全に正しかった。負債が追いつくまで数年かかり、人々は自分たちが持っている巨大で型付けされていないモノリスがメンテナンス不可能だと気づいた。今では、二大動的言語（Python/JavaScript）は実質的に型付けされた言語になってる。真剣な仕事には型付けされていないバージョンは誰も使わないからね。動的型付けには素晴らしい使い道があるけど（インタラクティブなデータ探索や、クイックスクリプトの作成など）、最初に業界としてやろうとしたことは明らかにバカだったと思う。5〜10年後に、AIでやってることのいくつかを振り返って、同じように思うだろうね。Gastownのようなことがすでに起こってるし。

AIは怠け者で無能な開発者をさらに怠けさせ、無能にさせる。これを「LLMは怠け者で無能な開発者にもっと自由を与える」と表現するのが好き。

俺もそう感じてる。以前は動かないPRを出してた開発者と一緒に働いてたけど、今は一見動いてるように見えるPRを出してくる。でも、隠れた問題があるんだよね。例えば、ある人がビジュアライゼーションのために大きなPRを出してきたけど、別の開発者が言ってたように、俺たちはすでにrechartsを使ってて、それがこの人のPRの90%をカバーしてる（彼のコードは描画ロジックを全部自分でやってる）。AIがこういう混乱を片付けられるくらい良くなるかもしれないけど、近い将来にはドラゴンでいっぱいのコードベースが増えると思う。

俺が働いてたスタートアップには、コードが支離滅裂でバグだらけのエンジニアがいた。だから、そのエンジニアが何もしない方が実際には良かったんだ。彼らの純出力はマイナスだったからね。こういうエンジニアはLLMと組み合わさると武器化されて、マイナスの数がスケールアップするとさらに大きなマイナスになるんだ。