Claude16台で10万行のCコンパイラを作った論文を読んで、「いや答えあるじゃん」と思った話

わかる。最近周囲には要求定義をAIと壁打ちして精度上げましょう、と言って回ってるんだけど、一部の人以外は理解されない。マス層はまだそこに到達してないんだろうな、という所感がある

GCCっていう正解があるからこそのパワープレイ。業務アプリだと仕様（笑）自体がバグってるからこうはいかない

claudeはask questionをもっと使えと思ってる

いい話。答えが自明な問題と無限の探索空間から答えを定義しないといけない問題の違い。AIが作業してるにも関わらず人間が悩むのも主にそこ。今のAIは「答えが定まらないので決めてください」が苦手なんだよな〜

ほんこれ。あと、Cコンパイラより安全なSSLライブラリの作成とメンテナンスみたいな方向で進めてほしい。インフラ的オープンソースプロダクトは人手とお金足りない世界だから。

ちょっとまって、レガシーシステムの、リライトが簡単にできるって本当なの？

“一番難しいのは 「何を作るか」を定義すること だ。”

この方法でレガシーシステムの置き換えは作れるのではないか？京都市のシステムリプレイス案件（二度失敗）とか。「現存するシステムが唯一の仕様」。

"「検証器が完璧に書けるなら」 という前提"

COBOLリライト出来たら画期的なんだが🤔

この調子で境界面の動作コピーが簡単完全になったら、前に何で書いてたかは関係なくなるな

どちらかと言うとテストさえあれば仕様書が無くても仕様に沿ったソフトウェアが実装できることが証明されたというところではないだろうか。

コンパイラいけるか。ならLLMでLLMも開発してるに違いないよね。シンギュラリティーだよね。それはさておき、マイグレーションとか言語コンバートも行けそうよね。CLIじゃなくてGUIだと、まだちとツライかもだけど

みんなうすうす実はそんなに楽にならないんじゃないんかって気づき始めてるよね。レビューも大変だしさ。。そもそもコード書く作業自体、業務の半分くらいだしねぇ。

「既に人が作った答えがあるもの劣化コピーしか生成しない」＆「作りっぱなしで保守は一切しない」。AI丸投げ実験で現状大前提になってるこの2つが前提じゃなくなったら、その時はプログラマーは全員失業だがさて

これは確かにそう。最適化されてるかどうかはコンパイラ任せにもできるしな

レガシーシステムは、ドキュメントはデタラメで欠落だらけ＆テストなんて全然残ってない＆巨大かつ人入れ替わりすぎで正しさを判断できる人がいないからこそ難しいわけで、このノリでいうとAI丸投げは当然無理だろう

AIが出来てしまう仕事を人間にやらせないと、その上位層で正誤を確認し仕様を方向付ける人間が育たんのよなぁ。AIがインフラを熟知した砂場にシステムを置くのが当たり前になると、また一段変わるとは思っている

へーしゃのしゃちょーがこれを中途半端に聞いて暴走していて頭が痛い

俺が気になったのはトークン料金300万円という点です。