世界を動かす技術を、日本語で。

GhosttyのAIポリシー

概要

ghostty-org / ghostty は、人気の高いオープンソースプロジェクト。 GitHub 上で管理され、 41.9k のスターと 1.5k のフォークを記録。 通知設定やフォーク、スター付与には サインイン が必要。 プロジェクトの公開通知や参加方法の概要。 コミュニティ活動や貢献の基本情報。

ghostty-org / ghostty プロジェクト概要

  • ghostty-org / ghostty は、オープンソースのターミナルエミュレータプロジェクト。

  • GitHub 上で管理されており、誰でもコード閲覧や貢献が可能。

  • スター数41.9kフォーク数1.5k と高い人気を保持。

  • 通知設定の変更やリポジトリへの貢献には GitHubアカウントでのサインイン が必須。

  • プロジェクトの更新情報や議論は、 Public Notifications 機能で受信可能。

    • 通知設定 を変更することで、最新のアップデートやイシュー情報をリアルタイムで取得。
    • フォーク 機能を利用することで、独自の改良やバグ修正を自由に試行可能。
    • スター付与 は、プロジェクトへの支持や注目度の指標。
  • オープンソースコミュニティ への参加や貢献活動のきっかけとして最適。

  • ghostty の詳細や使い方、貢献方法は、GitHubリポジトリのREADMEやWiki参照が推奨。

参加方法と通知設定

  • GitHubアカウント 作成後、サインインしてプロジェクトページへアクセス。
  • Watch ボタンから通知設定を選択し、必要な情報のみ受信。
  • Fork ボタンで自分のリポジトリにコピー、自由な開発や実験を実施。
  • Star ボタンでプロジェクトへの賛同や注目を示すことが可能。
  • 必要に応じて イシュー作成プルリクエスト提出 で直接貢献。

コミュニティ活動のポイント

  • Public Notifications でプロジェクトの動向を継続的に把握。
  • サインイン による各種機能のフル活用。
  • フォークスター を通じたコミュニティ支援。
  • オープンソース文化 の理解と積極的な参加姿勢。

Hackerたちの意見

理由についてはxスレッドを見てね: https://x.com/mitchellh/status/2014433315261124760?s=46&t=FU... 「最終的には、全セッションのトランスクリプトを見たいけど、今はそれをサポートするツールが足りない。」自分は、Claude VodeのセッションをGitHubのgitノートに付けるサイドプロジェクト、git-prompt-storyをやってるんだけど、自動化するのは簡単じゃないんだよね(例えば、認証情報を隠さなきゃいけないし)。

プロジェクトの進行と一緒にプロンプトを保存することを考えたことはあるし、手動で何回かやったこともあるけど、結局あんまり価値を感じないことに気づいた。やる理由ってあるのかな?

全セッションのトランスクリプトを見たいけど、今はそれをサポートするツールが足りない。AIがそれを手伝えると思うよ。

トランスクリプトについては、どう感じるかまだよくわからないな。結局、自分がする貢献は質の高いものにしたいから、時間をかけて磨く必要があるんだよね。その過程をさらけ出すってことは、そっちも「磨く」必要があるってことだし(それがどうなるかはわからないけど)、自分のもつれた思考過程を見せるのはちょっとリスキーだよね。

これが一般的に受け入れられるAI利用ポリシーになるのが見えるね。すごくバランスが取れてる。AIを使って開発してる多くの人が経験してるであろうポイントをほとんどカバーしてると思う。一番大事なのは、AIが生成したコードは人間の思考やテスト、クリーンアップ/リライトの代わりにはならないってこと。最後のポイントについてだけど、Codexに大きな機能を生成させたときは、正しくてもコードをもっとコンパクトにするためにたくさん書き直さなきゃいけなかった。意味のない間接的な処理を追加するのは、LLMがよくやる大きな問題だと感じてる。

ポリシーがバランス取れてるっていう点には同意する。ただ、>AIが生成したコードは人間の思考やテスト、クリーンアップ/リライトの代わりにはならない。これって、このツールやそれを作ってる会社の最終的な目標じゃないの?マーケティングによれば、これらのツールは「多くの面で人より賢い」らしいけど、それが本当なら、その「面」って何なの?人間がそれをより良くやる理由は何?もしその「面」がどんどん広がっていくなら、ほとんどの支持者がそう信じてるけど、最終的にはツールがすべての面で人より賢くなって、人間を信用しなくなるってことになるよね。今はまだそこまで行ってないけど、今の境界線はすごく曖昧で、ほとんど意見に基づいてる。これに関する異なるナラティブがあるのも助けにならないよね。 [1]: https://blog.samaltman.com/the-gentle-singularity

「AIが作成したプルリクエストは、人間によって完全に検証されている必要がある。」これは常に最低限の要件であるべきだね。

「プルリクエストはすべて人間の使用で完全に検証されている必要があります。」これは全く論争の余地がないと思うし、AIの条件は冗長だと思う。

低品質な貢献スパムに関して一番驚いたのは、みんなが恥を感じていないことだね。自分はオープンソースに少しだけ貢献してるけど、全部小規模なプロジェクトで、自分の貢献の複雑さは普段やってることと同じくらい。開発者としての自信はあるけど、これらの貢献は自分が書いた中で一番徹底的にテストされてレビューされたコードだと思ってる。低品質な「助け」を提供してくれる人に迷惑をかけたくないんだ。他の人は全然そういう気持ちがないみたい。驚くべきことじゃないのかもしれないけど、正直言って驚かされた。

5年半、大手オープンソース企業で働いてたけど、みんな自分の貢献がギフトだと思ってて、感謝されるべきだと思ってる。ボー・バーナムの言葉を借りると、「お前のアレがギフトだと思ってるなら、絶対違うから。」

「他の人たち」ってのは、もしかしたらジュニア開発者かもしれないね。新米たちが自分のコードにどれだけ自信を持ってるか、何度も見てきたよ。(学生が自分のJavaコードでエラーが出たとき、JVMにバグがあるんじゃないかって疑ってたのを思い出す。)悪意や怠惰ってわけじゃなくて、ただ経験不足の熱意かもしれないね。

その恥を感じるには、もっと知識が必要だよね。何も知らなければ、コードを作れるモデルにアクセスできて、言語の文法をざっと理解してるだけで、良いコードが書けると思っちゃうかも。ダニング=クルーガー効果だね。匿名のサプライチェーン攻撃みたいなことのために、信頼できる履歴を持ったアカウントを作ろうとしてる人もいるだろうね。

機会を与えることに関しては、もう恥の問題じゃないと思う。特に生活が厳しくて競争が激しい地域では、みんな何でもやって先に進もうとするからね。GitHubの貢献が雇用や注目を得るための指標になるなら、スパムみたいに増えていくのは間違いないよ。

多くの人が大きなオープンソースプロジェクトに貢献するのは、履歴書やGitHubに良い印象を与えて、仕事を得るためだってことを忘れないで。誰かを助けたいわけじゃなくて、「Ghosttyに貢献しました」って応募書類に書きたいだけなんだよね。

こういうポリシーやその周りの議論を定期的に見るのはいいね。どれだけ恥知らずな人がいるか、そしてそんな人がどれだけいるかを思い出させてくれるから。友達や知り合いとばかり接してると、彼らが平均的な人たちを代表してるわけじゃないってことを忘れがちで、しばらくするとみんなが理性的で善意で行動すると思い込んじゃうんだよね。

この低品質なスパムの投稿を見て、驚いたのは人々の恥知らずさだよね。クライアントから「GPTのスクリーンショット」を送られて疑われたことある? 公共のグループで何かを聞いたら、完全にバカなやつが「GPTのスクリーンショット」や、せめてちょっとは努力して「長文のコピペ」を返してきたことある? いや、恥を感じてる人なんていないよ。ちょっとした(借り物の)自己重要感や承認欲求があるだけ。だから、みんなの時間を無駄にすることへの罰として、公開の嘲笑を含む行動規範には拍手を送りたい。

正直、これが「良い地域で育った」って感じかどうかはわからないけど、ここ10年くらいで周りの人たちが恥を感じないことを徐々に学んできたよ。これは彼らのせいじゃなくて、俺のせいだね。社会は変わったし、適応しないと混乱して虐げられることになる。恥を失う必要はないけど、せめて理解することが大事だと思う。

定義上、他の人の時間を無駄にするような軽薄なPRを提出しない人たちは見えないよね。だから、サバイバーバイアスが大きく関わってると思っておいた方がいい。メールスパムと同じで、恥知らずな人が少数いるだけで大量の貢献スパムが生まれると思う。メールスパムとは違って、これらの人たちは自分の貢献が個人の評判に結びつくことを実際に望んでる。理論的には、彼らを特定して隔離するのが簡単になるはずなんだけど。

インターネット(と開発者コミュニティ)は、かつては高い信頼の社会だったんだよね。主に学者や開発者がいて、みんながリソースを得るのが難しかった頃の共通の経験を持ってた。でも、詐欺文化がそれを完全に変えちゃった。今は学生たちが、何か貢献したって見せるためにPRをスパムのように出さなきゃいけないプレッシャーにさらされてる。

これはよく考えられたポリシーで、多くのOSSに採用されると思う。無茶な(または酔っ払った)AIドライバーと競争するには、こういう厳しいルールが必要なんだよね。残念だけど。でも、メンテナの時間を無駄にするのをタダで許すわけにはいかないよね。

悪いAIドライバーは禁止され、公然と嘲笑されるだろう。警告しておくよ。ジュニア開発者が学び成長するのを手助けするのは大好きだけど、興味があるならAIを使わないで、私たちが助けるよ。悪いAIドライバーがこれを台無しにしてごめんね。やっと同意できるAIポリシーが出てきた :) 冗談はさておき、ちょっと攻撃的に聞こえるかもしれないけど、AI生成のゴミで君を圧倒する人がいるのは本当だよ。自分の注意をできるだけ守る必要がある、今やそれが新しい通貨になってるからね。

恥を感じない人に対して、嘲笑が効果的な脅しになるとは思えないな。

AI生成のメディアは許可されていません(アート、画像、動画、音声など)。テキストとコードだけが、このポリシーの他のルールに従って許可されたAI生成コンテンツです。このメディアとテキスト/コードの区別がすごく面白いと思う。彼らは「テキストとコード」がAI生成メディアの論争から自由だと思ってるみたいだけど、AI企業がアートや画像、動画、音声を集めて自分たちのLLMを訓練するために使ったことを考えると、テキストとコードでも同じことをしてないと思うのは甘いよね。

「テキストとコード」はAI生成メディアに関する論争から自由だと思うけど、実際はそうじゃないよね。マイクロソフトが自社のコーディングモデルを訓練するためにGitHubにホストされたリポジトリを使い始めたときの「抗議」を覚えてる? その時はたくさんの記事や意見があったよね。でも、今は落ち着いてるみたい。多くの開発者が今や何らかの形でLLMを使ってるからだろうね。検索エンジンの代わりに使ってる人もいれば、コピペ用のスニペットを作成する人もいるし、コードを打たずに指示を書いてレビューするだけの人もいる。Ghosttyは、生成されたテキストやコードを禁止したら、ほとんどの潜在的な貢献者をブロックすると思ってるんじゃないかな。個人的にはそれに同意しないけど、彼らの視点だろうね。

脱線するけど、低品質なドライブバイリクエストの問題の起源はGitHubのソーシャルな性質だと思う。GitHubが始まった頃は良かったかもしれないけど、今は多くの人がポートフォリオの見せかけや社会的証明として使ってる。「この人はたくさんのプロジェクトに貢献してる」っていうヒューリスティックが「良い情熱的な開発者」って意味になって、低品質な提出を利用する人が増えてる。これはずっと続いてるよ。もちろん、AIが火に油を注いだのは確かだけど、ポリシーを再読してAIを除外してもまだ意味がある! これを長期的に解決するにはインセンティブを取り除くことだね。逆説的だけど、AIがここで役立つかもしれない。これが簡単にゲームされると明らかになれば、もはや信号としての意味を失うから。

AIなしで再読することについての君の意見、めっちゃ納得できる。経済的な側面は変わったけど、人間の本質は変わってない。2023年以前も、人々は「Xに貢献した」と履歴書に書くためにゴミみたいなPRを提出してた。今はそれがずっと安くなっただけだね。

「悪いAIドライバー」って言葉、めっちゃ好きなんだよね。AIはツールなのに、適当なプルリクエストを出すのは、ツールの使い方が無神経で役に立たないってことだよ。まるで高速道路で出会いたくない「悪いドライバー」みたいにさ。だから、やめておかないと、プログラミングのダッシュカムサブレディットに載っちゃうよ。

コーディングエージェントを使う経験は、むしろ「後部座席のドライバー」って感じだよね。AIが運転してくれて、どこに行くか指示して、間違った方向に行ったら修正することもあるし。

公然とバカにされる警告はまあいいかもしれないけど、実際にやるのはちょっと低俗だと思う。もっと素晴らしいプロジェクトがそういうことをするのを見るのは悲しいな(もし本当にやるならだけど)。

強制されていない脅威は、まったく効力がないよね。AI生成で低労力、悪意のあるXYZのPRを評価しないって公言するのは、全然問題ないと思うよ。