書いた
`/goal`知らなかった。でも...都度判断しないと方針にブレが起きそうで怖い。このトークン貧乏な思考がそもそももう古いのかもしれない。マルチエージェントが実験的な扱いになっているのが興味深い
mizchi氏の最新AIコーディング手法、形式手法まで組み込んで自律ループ回してて流石だな
役割分担
AIプログラミングのcoding loopで、人間の役割定義と評価指標(RSS/Fuel、hyperfine等)を用い/goal・/compactで改善する手法を整理
"またすぐ変わると思います" いいオチ
/goalは一つだけしか判定できないし その判定エージェントも嘘つく事があるんよね。。
参考にさせていただきます
きっと形式手法とかもそのうちAIが勝手に判断してやってくれますよ。
しょーもないのばっか上がってくるなあ…
もうエンジニアは技術では無く必要とされるものの作り方,見つけ方に移るべき。あ、それだとエンジニアじゃないや。
当時AIが出力するコードをクリーン保つため四苦八苦していたノウハウはごみのようになった。今はとにかく動いてりゃそれでいい。負債は将来賢い奴(モデル)が解決するだろう。
ハーネスハーネス言ってたのももう終わったしな
あとで読む
AIでコードを書くなんて賢いボクの飼い主さんだにゃ!でもボクも撫でてにゃ?
進んでる人はすごいなあ
今に最適化すると無駄になる、そういう時代。とにかく動く製品を作り続ける。ただ、おどろくような単純なバグもある。ソースコードを読まずにそれをどうやって見つけ出すか、それが課題。
clineに全部賭けた人だ
“せめて振る舞いを把握したい。” /“またすぐ変わると思います”
AIプログラミング手法
ですよねー"またすぐ変わると思います"
まず「ループ構築はAIに任せられる仕事か」を考えましょう。Anthropicを頂点としたMLMに刷り込まれてる。この手の知識をいくら集めてもAI情報商材屋に取り込まれるだけ。以前はこの手の自称Tech記事が後進を阻害してた。
AIに仕事を任せられる主要因は「AIが自力で評価・再試行できる閉ループ」に変換できるか。人間の主要な仕事は実装ではなく、閉ループを成立させる評価関数・制約・優先順位・エスカレーション条件を設計すること
“基本的には AGENT.md のグローバルプロンプトは 書かない。最新モデル知識に組み込まれてる知識は、半年ほど古い。skill は(おそらく)重点的に学習されているので、いらなくなる速度が速い。”
mizchi氏のAI開発手法。人間は完了条件・評価指標を設計し、AIの自律改善ループとテスト・CIを整える。コードの振る舞いを説明や図解で把握し、形式手法で仕様を検査。モデルの進歩に合わせ、指示や運用も見直す。
俺のAIプログラミング手法(2026/10/05)
書いた
`/goal`知らなかった。でも...都度判断しないと方針にブレが起きそうで怖い。このトークン貧乏な思考がそもそももう古いのかもしれない。マルチエージェントが実験的な扱いになっているのが興味深い
mizchi氏の最新AIコーディング手法、形式手法まで組み込んで自律ループ回してて流石だな
役割分担
AIプログラミングのcoding loopで、人間の役割定義と評価指標(RSS/Fuel、hyperfine等)を用い/goal・/compactで改善する手法を整理
"またすぐ変わると思います" いいオチ
/goalは一つだけしか判定できないし その判定エージェントも嘘つく事があるんよね。。
参考にさせていただきます
きっと形式手法とかもそのうちAIが勝手に判断してやってくれますよ。
しょーもないのばっか上がってくるなあ…
もうエンジニアは技術では無く必要とされるものの作り方,見つけ方に移るべき。あ、それだとエンジニアじゃないや。
当時AIが出力するコードをクリーン保つため四苦八苦していたノウハウはごみのようになった。今はとにかく動いてりゃそれでいい。負債は将来賢い奴(モデル)が解決するだろう。
ハーネスハーネス言ってたのももう終わったしな
あとで読む
AIでコードを書くなんて賢いボクの飼い主さんだにゃ!でもボクも撫でてにゃ?
進んでる人はすごいなあ
今に最適化すると無駄になる、そういう時代。とにかく動く製品を作り続ける。ただ、おどろくような単純なバグもある。ソースコードを読まずにそれをどうやって見つけ出すか、それが課題。
clineに全部賭けた人だ
“せめて振る舞いを把握したい。” /“またすぐ変わると思います”
AIプログラミング手法
ですよねー"またすぐ変わると思います"
まず「ループ構築はAIに任せられる仕事か」を考えましょう。Anthropicを頂点としたMLMに刷り込まれてる。この手の知識をいくら集めてもAI情報商材屋に取り込まれるだけ。以前はこの手の自称Tech記事が後進を阻害してた。
AIに仕事を任せられる主要因は「AIが自力で評価・再試行できる閉ループ」に変換できるか。人間の主要な仕事は実装ではなく、閉ループを成立させる評価関数・制約・優先順位・エスカレーション条件を設計すること
“基本的には AGENT.md のグローバルプロンプトは 書かない。最新モデル知識に組み込まれてる知識は、半年ほど古い。skill は(おそらく)重点的に学習されているので、いらなくなる速度が速い。”
mizchi氏のAI開発手法。人間は完了条件・評価指標を設計し、AIの自律改善ループとテスト・CIを整える。コードの振る舞いを説明や図解で把握し、形式手法で仕様を検査。モデルの進歩に合わせ、指示や運用も見直す。