AIに丸投げの新言語「Bend2」に批判殺到 星2万にも疑惑 海外の反応
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP【画像】新型スカイラインの最終PVデザイン案、妙にシルビアへ寄せる
- ニュース速報まとめMAP三吉彩花（30）、顔面まひで活動休止していたことを告白「突然の出来事に私自身も驚きました」現在は順調に回復
- なんJ傑作まとめアンテナMAPソフトバンクが強すぎてパ・リーグがつまらない←これｗｗｗｗｗｗｗｗ
- アニメ声優まとめアンテナMAP【悲報】秋アニメ、思った以上に期待作なしなんだが・・・
- VTuberまとめアンテナMAP【にじさんじ】本日22:30から月ノ美兎、ドライヤー中が暇なあなたへ
- だめぽアンテナ【GIF動画】紐パン水着のフランス美女さん、伊豆で発見される
- ヌルポあんてな【画像】姫「バイバイしたくない」ホスト「」⇒アイロンで焼かれるｗｗｗｗｗｗ
- 2chまとめアプリ+【悲報】物価、ますます上がる模様。ありがとう自民党
- News人コンサルを雇っていると誹謗された辺野古事件の遺族、実際に記者にその件を問われてしまった結果……他
- ブルーアンテナ共産主義って優れてるのにおんj民には嫌われてるよな
- ウマーあんてな婚活で。私「食事代は半額払います」男「気にしなくていいよ」私「ではお言葉に甘えて…」→結果…
- キター！アンテナフィリピン南部、イスラム教徒による自治政府発足に向けた議会選 武装組織「モロ・イスラム解放戦線（MI
- ２ちゃんマップ【エロ板まとめ】『堀大輔』の裏方やってるクソ可愛い女が元AV女優だと判明したらしいけど
- つべこアンテナ若林有子アナ、向井慧との熱愛報道に言及 ラジオで明かしたLINEのやり取りにも注目
- カオスアンテナ【悲報】富澤たけし、血圧「170-150」に出川哲朗も衝撃「一番ヤバいやつじゃん！」
- 即まとchOCHA NORMA西﨑美空、写真集「MIKU」11月発売決定
- おまとめ【画像】外国人「有名なママキャラ集めたぞ！君は誰を選ぶ？」
- 海外反応・海外ニュースまとめ【海外の反応】ダイオウイカ、実は数億匹生息と判明→根拠はマッコウクジラの胃袋の中身
- ライムアンテナ【悲報】新しいこち亀の両津勘吉、なにかが違うｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
- おまとめアンテナ【ロミオ】絶縁中の夫の兄、太郎からの手紙「次郎（夫）のことはもう忘れて僕のところに帰ってきてください」でも私は太郎と…
Hacker Newsで、プログラミング言語「Bend 2」を批判するブログ記事「Bend 2 and the Vibe-Coding Trap」が話題になった。記事は、Bend2のコンパイラの99%がAIによって書かれ、十分な監査を受けていないことなどを指摘し、AIに頼りきる「バイブコーディング」の問題点を論じている。スレでは、Bend2をお披露目した元のスレッド自体が、GitHubスターが2万件に達しながら中身の薄い称賛コメントばかりだったとして「やらせ(astroturf)」ではないかとの疑惑も浮上した。責任がAIの限界にあるのか、先行研究を調べなかった開発者側にあるのかで意見が割れ、批判された開発チーム側やブログの筆者本人も議論に加わって釈明する場面があった。
「Bend 2」とバイブコーディングの罠
出典: blog.liampwll.com / 元記事はこちら
最初からこの会話全体が胡散臭かった。GitHubページのスターも2万件付いているが、履歴が消えている。
どういう畑の連中か、お察しの通りだよ。
記事の趣旨からすると、著者はそもそも事前調査の一環として『聞くべきだった』ということが前提になっているように読める。
それはバイブコーディングというより、LLMを使いこなしたエンジニアリングと呼ぶ方が近いと思う。
それは必ずしも真実とは言えないと思う。『f: list[1 A] -> list[A]は副作用なし、最悪計算時間はn log n、かつすべてのxと0<=i<=j<len(x)についてf(x)[i]<=f(x)[j]』くらいの仕様で、プログラム合成器が意図的に意地悪でもしない限りほとんどの人には十分なはずだ。世の中のソート処理の99.999%は標準ライブラリ関数任せで行われているわけで、みんな中身がどう動くかなんて気にしていないということだろう。
でも聞かなければ教えてくれない。『そのやり方は的外れだ、Ada SPARKというものがある』なんて向こうから言ってはくれない。
その通り。既存のライブラリを使い回した無駄のない解決策が欲しいと伝えるだけで、結果は大きく変わる。そう言わなければ、AIがわざわざそうする理由もないだろう。
それよりも、LLMに仕事を丸投げする前にもっと考えるべきことがあるかもしれない、という注意喚起のフラグにすべきじゃないか。
人間はLLMに生のままインターネット検索をさせたりはしない。
他サイトの新着
2018年当時、彼らはEthereum向けの形式検証プロジェクト『Formality』に取り組んでいた。この動画に出てくる『Victor』が本人だ。https://slideslive.com/38911748/introducing-formality
そもそもLLMが先行研究を引用しようと『考える』ことなどあり得ない。LLM自身が先行研究の集積そのものだからだ。魚に水のありかを尋ねるようなもので、魚には水がない状態を想像できないし、LLMには『先行研究でないもの』を想像できない。
それは、LLMが賢くあるべきだからだ。人間のエンジニアだって、クライアントに明示的に頼まれない限り標準的なベストプラクティスを守らなくていい、なんてことがあるだろうか。
Bend2の作者がプログラミング言語理論や形式検証を理解していないとほのめかすなら、根拠を示すべきで、煽り気味の決めつけだけで済ませるべきじゃない。言語やアプローチそのものを、作者個人を攻撃せずに批評することはできるはずだし、このサイトがTwitterの悪いところそっくりの『技術ゴシップニュース』と化しているのは残念だ。
その通りだと思う。書いているときは、これがどれだけ作者個人への批判のように読めるか気づいていなかった。その旨を記事の冒頭に注記として追加した。
形式手法についてのこのサイトの議論は、今やダニング=クルーガー効果丸出しの、経験の乏しい人たちによる自信満々だが的外れな意見の吹き溜まりと化している。
ありがとう。追記を読んだ。これは公開の場で話し合う価値のある議論だと思う。
この話題の背景と論点
Bend2は並列計算向け言語Bend/HVMの開発チームが出した新版で、READMEに「コンパイラの99%はAIが書き、監査は未了」と明記されている点が今回の火種になった。発端のブログ記事は、AIに頼るほど先行研究や既存ツールの存在を自発的には教えてもらえないという「バイブコーディングの罠」を主題にしている。一方で、Bend2を紹介した元スレッド自体がGitHubスター2万件を短期間で集めながら中身の薄い称賛に終始していたとの指摘があり、これがもう一つの争点になった。開発チームは以前、イーサリアム向け形式検証プロジェクト「Formality」を手がけていた経緯があり、そこからの技術的系譜を知らないと文脈がつかみにくい。スレでは「AIの限界」と「使う側が何を尋ねるか」のどちらに責任があるかで意見が割れ、批判が作者個人への攻撃に見えすぎるとの指摘を受け、ブログの筆者本人が本文に注記を追加する一幕もあった。
※本記事は5ch(Hacker News)スレッド「Bend 2 and the Vibe-Coding Trap」より抜粋・要約して構成しています。
まだコメントはありません。