わかる。最近周囲には要求定義をAIと壁打ちして精度上げましょう、と言って回ってるんだけど、一部の人以外は理解されない。マス層はまだそこに到達してないんだろうな、という所感がある
GCCっていう正解があるからこそのパワープレイ。業務アプリだと仕様（笑）自体がバグってるからこうはいかない
claudeはask questionをもっと使えと思ってる
いい話。答えが自明な問題と無限の探索空間から答えを定義しないといけない問題の違い。AIが作業してるにも関わらず人間が悩むのも主にそこ。今のAIは「答えが定まらないので決めてください」が苦手なんだよな〜
ほんこれ。あと、Cコンパイラより安全なSSLライブラリの作成とメンテナンスみたいな方向で進めてほしい。インフラ的オープンソースプロダクトは人手とお金足りない世界だから。
ちょっとまって、レガシーシステムの、リライトが簡単にできるって本当なの？
“一番難しいのは 「何を作るか」を定義すること だ。”
この方法でレガシーシステムの置き換えは作れるのではないか？京都市のシステムリプレイス案件（二度失敗）とか。「現存するシステムが唯一の仕様」。
"「検証器が完璧に書けるなら」 という前提"
COBOLリライト出来たら画期的なんだが🤔
この調子で境界面の動作コピーが簡単完全になったら、前に何で書いてたかは関係なくなるな
どちらかと言うとテストさえあれば仕様書が無くても仕様に沿ったソフトウェアが実装できることが証明されたというところではないだろうか。
コンパイラいけるか。ならLLMでLLMも開発してるに違いないよね。シンギュラリティーだよね。それはさておき、マイグレーションとか言語コンバートも行けそうよね。CLIじゃなくてGUIだと、まだちとツライかもだけど
みんなうすうす実はそんなに楽にならないんじゃないんかって気づき始めてるよね。レビューも大変だしさ。。そもそもコード書く作業自体、業務の半分くらいだしねぇ。
入力と出力だけでやるとCプログラミング診断室のコードみたいな人力メンテ不可のものが出てきそうだけど今はもっと高度なのかな。偶数判定でIF P=2 THEN 偶数 ELSE IF P=3 THEN 奇数 ELSE...
「既に人が作った答えがあるもの劣化コピーしか生成しない」＆「作りっぱなしで保守は一切しない」。AI丸投げ実験で現状大前提になってるこの2つが前提じゃなくなったら、その時はプログラマーは全員失業だがさて
これは確かにそう。最適化されてるかどうかはコンパイラ任せにもできるしな
レガシーシステムは、ドキュメントはデタラメで欠落だらけ＆テストなんて全然残ってない＆巨大かつ人入れ替わりすぎで正しさを判断できる人がいないからこそ難しいわけで、このノリでいうとAI丸投げは当然無理だろう
AIが出来てしまう仕事を人間にやらせないと、その上位層で正誤を確認し仕様を方向付ける人間が育たんのよなぁ。AIがインフラを熟知した砂場にシステムを置くのが当たり前になると、また一段変わるとは思っている
へーしゃのしゃちょーがこれを中途半端に聞いて暴走していて頭が痛い
俺が気になったのはトークン料金300万円という点です。
仕様書はなくても動く実物があればOK、ならCOBOL移植が変わりそう
Cコンパイラを作りましたって結果報告なだけ。それ以上は言ってない。逆に、コンパイラを人間が作ったら、期間がどのくらいでいくらかかるか即答してみ？そういうとこな。それはそれこれはこれで区別して考えないと
Cの仕様とか他の実装がすでにあるじゃんということは私も思った。実務でそういう条件のをやったけど、やはり効率がいい。SDDは方向性として正しい。
将軍家老足軽の人だ
誰でも考えたであろうことの言語化。 / 自分もいつも「仕様と挙動が規定されている分野ではAIコーディングは有用」っていう話をしている。そんなに寸分の隙もない仕様書はほぼ無いがそれほど問題ではない。
揚げ足取りかもだけど “GCCという「正解」が存在する。” って表現にモヤってしまった。コンパイラ界隈カオスすぎるイメージで正解がある感覚があんまない。でも仕様ベースで正誤判定が可能だよねって意味ならそう
2万ドルで新しいCコンパイラーが作れたらそりゃすごいわな（品質はさておき）
冷笑しているうちに置いていかれるのでおじさん化には気をつけたい
すでに解き方が分かっている問題をAIは容易く解くことができる(既存のコードをコピーする場合すらあろう)が、それは車輪の再発明なのである。
16台Claudeエージェントが自律ループで約10万行のRust製Cコンパイラを構築。GCCテスト99％パス、Linuxカーネルもコンパイル可能という成果は、テストが仕様を兼ねる“答えのある問題”だからこそAIが機能した例として示された
“一番難しいのは実装じゃないということだ。一番難しいのは 「何を作るか」を定義すること だ。”
答えを人間が知ってるからAIの成果物の答え合わせができるよねってことか。答えを決めるのむずいわー
過程のおもしろ（風）に逃げた人間がなんか言ってらw/AIの中間出力を戦国風にすることこそ全く無意味だと思うがね
そもそもCコンパイラは割と簡単な方。
自分も今大規模ソフトウェア書いてるけど、毎日毎日舵取りで疲弊している。ただ、自分が100年かかっても書けない分量を書けるから今まで作りたくても作れなかったものを作れる感動が上回る。100人月がCodex1つでできる
“Cコンパイラという題材は正解実装が存在する。答えがある問題なら一気に解ける。だがほとんどは、答えがない問題。人が方向を示しながら継続的に解くしかない。AIに「何を作るか」を任せるな。仕様を決めるのは人”
AIにリライトは頼めるのかな。ワクワクしつつも、仕事でやることは抽象度が上がってレビューが増えるだけかなという感じはしてる
レガシーシステムは矛盾を含んだまま何となく人間が運用してるんでメインは人間の脳の模倣ですよ。リライトするならメンテナーのおじさんの脳みそも捌いてくださいw
Xでも書いたんだけど,で、だからこのコンパイラが大丈夫かって判別不能なのよ。特定CPUのエラッタに対応していなくて動かなくて1ヶ月バグを追うとかそんなのやりたくないわけよ。「皆がn年使った枯れた」が無いと無理
今後の新規開発は人間の脳内にしか仕様が無い状況を避けるために、積極的に実装者を人間からAIに置き換えるインセンティブが働く 人間に仕様書を書かせるのは色んな意味で難しいが、AIなら答えてくれる
まーおれは完璧な仕様/テストが書ける天才だから♪
リファクタリング案件でもない限り、正解のソフトウェアがないゆえに、仕様に正しさの客観性を持たせられないのがもどかしいな。雑な飛躍だがTLA+とか、また日の目を見て欲しい。
このclaudeで作られたCコンパイラのGitHubリポジトリのissueに「hello worldがコンパイル出来ないんだが？」と報告されててコーヒー吹いたんだよね。あと性能もgccより遥かに劣る
COBOLリライトとかソースコードが失われたソフトウェアの再作成とかが用途として考えられるか？
テスト99%しか通ってないって荒いと思ってしまった。
“入力（Cのソースコード）に対して、期待される出力（正しいバイナリ）が完全に定義されている” ダウトすぎて顎が外れてしまった
『「この会社の業務フローを自動化してください」に対して、完璧なテストスイートを最初から書ける人がいたら、その人はもうシステムの設計が終わっている。』
元があるプログラムの多言語移植にはいいのでは
コーディングは楽にならない。それだけよ
「GCCという「正解」が存在する」←だよね。 「検証器が完璧に書けるなら」
10年前にAlphaGoが60億円程度と噂されたが、それと比べると2万ドルは劇的に安くなったのでは。
俺はさ、リブルラブルってゲームの線の動きを実現するアルゴリズムをAIが独自に実装できたらすごいと思ってときどき試してるんだけど、全然成功しないんだよね…
移植が捗るな。しかし、例えば「フォルツァホライゾンのマップだけ首都高を含む関東圏のマップで作り替えよ」とかは何億円かけても無理そう。
正解があるならそれでいいじゃんって話だよなぁ。昔流行ったCOBOLからJavaへのマイグレーションみたいなプロジェクトには向いてるのかもな
Anthropic の中の人による実験だから、API代はロハだわな。「$20,000 in API cost」
オラクルは人が与えないといかんのよ
gccはC言語準拠じゃないってドヤ顔してる方がいたけどGCCと100%互換なら必要十分だと思う…が正解がある上でテストが99%なのと最適化もコンパイル速度もGCCを越えれてないのが残念かな
凄すぎる。実際にライブラリのアップデート作業とかやらせると競合してスタックしたりするんだけど、そうゆうのをどうやって解決してるんだろう
人間の能力をすごく高いと思っている人が多くて驚く. 現在可視化されている課題の解決なんて時間の問題だよ
AIによるCOBOLからJava Spring BootへのモダナイゼーションはAWSに既にあるよ 単純な書き換えからリファクタリングまでやるよ
結局文脈把握が人間のほうがまだ多い（広い・深い）んだけど要はそこだけで、将来的には人間がやっていることの９割が代替できて、１割は永久に代替できないって感じじゃないかな……
「期待される出力（正しいバイナリ）」ここは語弊がある。正しい実行結果だけよね。 あと、片っ端からOSSビルドしてそれぞれのテストケースクリアするように回したらもっと良くなりそう。
このコンパイラにhelloworldがコンパイルできないってissueついてるの面白いhttps://github.com/anthropics/claudes-c-compiler/issues/1 linuxカーネルはコンパイルできるのにハロワはできないのか…
このレベルが金さえかければ出来るって考えると凄いよ。明らかに人間に出来ない事で、使える領域が多くあるし、これからも拡大し続ける。我々はGPUと戦う日が来た
景気が良い企業に 誇大広告野郎 が増える法則
そうか、答えがある問題(言語感の移植とかフレームワークの変更とか)ならAIができるのか。
生成AI、サービスの方もユーザーの方も組める予算で白黒付く時代だ……
そもそもCコンパイラのソースは学習データの中にもあるだろうしね。砂に中に埋めた石像を再び掘り返すような試み
そもそもAgent Teamで実装する必要がないというね 並列サブエージェントで同じ事出来るんだから
Claude16台で10万行のCコンパイラを作った論文を読んで、「いや答えあるじゃん」と思った話
わかる。最近周囲には要求定義をAIと壁打ちして精度上げましょう、と言って回ってるんだけど、一部の人以外は理解されない。マス層はまだそこに到達してないんだろうな、という所感がある
GCCっていう正解があるからこそのパワープレイ。業務アプリだと仕様（笑）自体がバグってるからこうはいかない
claudeはask questionをもっと使えと思ってる
いい話。答えが自明な問題と無限の探索空間から答えを定義しないといけない問題の違い。AIが作業してるにも関わらず人間が悩むのも主にそこ。今のAIは「答えが定まらないので決めてください」が苦手なんだよな〜
ほんこれ。あと、Cコンパイラより安全なSSLライブラリの作成とメンテナンスみたいな方向で進めてほしい。インフラ的オープンソースプロダクトは人手とお金足りない世界だから。
ちょっとまって、レガシーシステムの、リライトが簡単にできるって本当なの？
“一番難しいのは 「何を作るか」を定義すること だ。”
この方法でレガシーシステムの置き換えは作れるのではないか？京都市のシステムリプレイス案件（二度失敗）とか。「現存するシステムが唯一の仕様」。
"「検証器が完璧に書けるなら」 という前提"
COBOLリライト出来たら画期的なんだが🤔
この調子で境界面の動作コピーが簡単完全になったら、前に何で書いてたかは関係なくなるな
どちらかと言うとテストさえあれば仕様書が無くても仕様に沿ったソフトウェアが実装できることが証明されたというところではないだろうか。
コンパイラいけるか。ならLLMでLLMも開発してるに違いないよね。シンギュラリティーだよね。それはさておき、マイグレーションとか言語コンバートも行けそうよね。CLIじゃなくてGUIだと、まだちとツライかもだけど
みんなうすうす実はそんなに楽にならないんじゃないんかって気づき始めてるよね。レビューも大変だしさ。。そもそもコード書く作業自体、業務の半分くらいだしねぇ。
入力と出力だけでやるとCプログラミング診断室のコードみたいな人力メンテ不可のものが出てきそうだけど今はもっと高度なのかな。偶数判定でIF P=2 THEN 偶数 ELSE IF P=3 THEN 奇数 ELSE...
「既に人が作った答えがあるもの劣化コピーしか生成しない」＆「作りっぱなしで保守は一切しない」。AI丸投げ実験で現状大前提になってるこの2つが前提じゃなくなったら、その時はプログラマーは全員失業だがさて
これは確かにそう。最適化されてるかどうかはコンパイラ任せにもできるしな
レガシーシステムは、ドキュメントはデタラメで欠落だらけ＆テストなんて全然残ってない＆巨大かつ人入れ替わりすぎで正しさを判断できる人がいないからこそ難しいわけで、このノリでいうとAI丸投げは当然無理だろう
AIが出来てしまう仕事を人間にやらせないと、その上位層で正誤を確認し仕様を方向付ける人間が育たんのよなぁ。AIがインフラを熟知した砂場にシステムを置くのが当たり前になると、また一段変わるとは思っている
へーしゃのしゃちょーがこれを中途半端に聞いて暴走していて頭が痛い
俺が気になったのはトークン料金300万円という点です。
仕様書はなくても動く実物があればOK、ならCOBOL移植が変わりそう
Cコンパイラを作りましたって結果報告なだけ。それ以上は言ってない。逆に、コンパイラを人間が作ったら、期間がどのくらいでいくらかかるか即答してみ？そういうとこな。それはそれこれはこれで区別して考えないと
Cの仕様とか他の実装がすでにあるじゃんということは私も思った。実務でそういう条件のをやったけど、やはり効率がいい。SDDは方向性として正しい。
将軍家老足軽の人だ
誰でも考えたであろうことの言語化。 / 自分もいつも「仕様と挙動が規定されている分野ではAIコーディングは有用」っていう話をしている。そんなに寸分の隙もない仕様書はほぼ無いがそれほど問題ではない。
揚げ足取りかもだけど “GCCという「正解」が存在する。” って表現にモヤってしまった。コンパイラ界隈カオスすぎるイメージで正解がある感覚があんまない。でも仕様ベースで正誤判定が可能だよねって意味ならそう
2万ドルで新しいCコンパイラーが作れたらそりゃすごいわな（品質はさておき）
冷笑しているうちに置いていかれるのでおじさん化には気をつけたい
すでに解き方が分かっている問題をAIは容易く解くことができる(既存のコードをコピーする場合すらあろう)が、それは車輪の再発明なのである。
16台Claudeエージェントが自律ループで約10万行のRust製Cコンパイラを構築。GCCテスト99％パス、Linuxカーネルもコンパイル可能という成果は、テストが仕様を兼ねる“答えのある問題”だからこそAIが機能した例として示された
“一番難しいのは実装じゃないということだ。一番難しいのは 「何を作るか」を定義すること だ。”
答えを人間が知ってるからAIの成果物の答え合わせができるよねってことか。答えを決めるのむずいわー
過程のおもしろ（風）に逃げた人間がなんか言ってらw/AIの中間出力を戦国風にすることこそ全く無意味だと思うがね
そもそもCコンパイラは割と簡単な方。
自分も今大規模ソフトウェア書いてるけど、毎日毎日舵取りで疲弊している。ただ、自分が100年かかっても書けない分量を書けるから今まで作りたくても作れなかったものを作れる感動が上回る。100人月がCodex1つでできる
“Cコンパイラという題材は正解実装が存在する。答えがある問題なら一気に解ける。だがほとんどは、答えがない問題。人が方向を示しながら継続的に解くしかない。AIに「何を作るか」を任せるな。仕様を決めるのは人”
AIにリライトは頼めるのかな。ワクワクしつつも、仕事でやることは抽象度が上がってレビューが増えるだけかなという感じはしてる
レガシーシステムは矛盾を含んだまま何となく人間が運用してるんでメインは人間の脳の模倣ですよ。リライトするならメンテナーのおじさんの脳みそも捌いてくださいw
Xでも書いたんだけど,で、だからこのコンパイラが大丈夫かって判別不能なのよ。特定CPUのエラッタに対応していなくて動かなくて1ヶ月バグを追うとかそんなのやりたくないわけよ。「皆がn年使った枯れた」が無いと無理
今後の新規開発は人間の脳内にしか仕様が無い状況を避けるために、積極的に実装者を人間からAIに置き換えるインセンティブが働く 人間に仕様書を書かせるのは色んな意味で難しいが、AIなら答えてくれる
まーおれは完璧な仕様/テストが書ける天才だから♪
リファクタリング案件でもない限り、正解のソフトウェアがないゆえに、仕様に正しさの客観性を持たせられないのがもどかしいな。雑な飛躍だがTLA+とか、また日の目を見て欲しい。
このclaudeで作られたCコンパイラのGitHubリポジトリのissueに「hello worldがコンパイル出来ないんだが？」と報告されててコーヒー吹いたんだよね。あと性能もgccより遥かに劣る
COBOLリライトとかソースコードが失われたソフトウェアの再作成とかが用途として考えられるか？
テスト99%しか通ってないって荒いと思ってしまった。
“入力（Cのソースコード）に対して、期待される出力（正しいバイナリ）が完全に定義されている” ダウトすぎて顎が外れてしまった
『「この会社の業務フローを自動化してください」に対して、完璧なテストスイートを最初から書ける人がいたら、その人はもうシステムの設計が終わっている。』
元があるプログラムの多言語移植にはいいのでは
コーディングは楽にならない。それだけよ
「GCCという「正解」が存在する」←だよね。 「検証器が完璧に書けるなら」
10年前にAlphaGoが60億円程度と噂されたが、それと比べると2万ドルは劇的に安くなったのでは。
俺はさ、リブルラブルってゲームの線の動きを実現するアルゴリズムをAIが独自に実装できたらすごいと思ってときどき試してるんだけど、全然成功しないんだよね…
移植が捗るな。しかし、例えば「フォルツァホライゾンのマップだけ首都高を含む関東圏のマップで作り替えよ」とかは何億円かけても無理そう。
正解があるならそれでいいじゃんって話だよなぁ。昔流行ったCOBOLからJavaへのマイグレーションみたいなプロジェクトには向いてるのかもな
Anthropic の中の人による実験だから、API代はロハだわな。「$20,000 in API cost」
オラクルは人が与えないといかんのよ
gccはC言語準拠じゃないってドヤ顔してる方がいたけどGCCと100%互換なら必要十分だと思う…が正解がある上でテストが99%なのと最適化もコンパイル速度もGCCを越えれてないのが残念かな
凄すぎる。実際にライブラリのアップデート作業とかやらせると競合してスタックしたりするんだけど、そうゆうのをどうやって解決してるんだろう
人間の能力をすごく高いと思っている人が多くて驚く. 現在可視化されている課題の解決なんて時間の問題だよ
AIによるCOBOLからJava Spring BootへのモダナイゼーションはAWSに既にあるよ 単純な書き換えからリファクタリングまでやるよ
結局文脈把握が人間のほうがまだ多い（広い・深い）んだけど要はそこだけで、将来的には人間がやっていることの９割が代替できて、１割は永久に代替できないって感じじゃないかな……
「期待される出力（正しいバイナリ）」ここは語弊がある。正しい実行結果だけよね。 あと、片っ端からOSSビルドしてそれぞれのテストケースクリアするように回したらもっと良くなりそう。
このコンパイラにhelloworldがコンパイルできないってissueついてるの面白いhttps://github.com/anthropics/claudes-c-compiler/issues/1 linuxカーネルはコンパイルできるのにハロワはできないのか…
このレベルが金さえかければ出来るって考えると凄いよ。明らかに人間に出来ない事で、使える領域が多くあるし、これからも拡大し続ける。我々はGPUと戦う日が来た
景気が良い企業に 誇大広告野郎 が増える法則
そうか、答えがある問題(言語感の移植とかフレームワークの変更とか)ならAIができるのか。
生成AI、サービスの方もユーザーの方も組める予算で白黒付く時代だ……
そもそもCコンパイラのソースは学習データの中にもあるだろうしね。砂に中に埋めた石像を再び掘り返すような試み
そもそもAgent Teamで実装する必要がないというね 並列サブエージェントで同じ事出来るんだから