[B! github] minamishinjiのブックマーク

GitHub、Copilotでより高い精度のコードを生成させる方法を指南。関連ファイルを開く、トップレベルのコメントを書くなど

GitHub、Copilotでより高い精度のコードを生成させる方法を指南。関連ファイルを開く、トップレベルのコメントを書くなど記事の中で、プログラマが意図したコードを高い精度で生成AIに生成させるためのテクニックがいくつも紹介されています。これらのテクニックはCopilotに限らず、生成AIを用いてコードを生成させる際の参考になると思われます。この記事では、紹介されているテクニックのポイントをまとめてみました。 GitHub Copilotでよりよいコードを生成するためのポイント生成AI活用の基本として説明されたのは、大規模言語モデルを用いた生成AIでは、コンテキスト︵文脈︶に基づいて予測を行うように設計されているため、生成AIに対する入力やプロンプトがコンテキストに富んでいるほど良い出力が得られる、という原則です。それゆえ、GitHub CopilotおよびGitHub Copi

minamishinji 2024/03/28

リンク

GitHub、脆弱性のあるコードを実際にデバッグして学べる「Secure Code Game」シーズン2がスタート

GitHub、脆弱性のあるコードを実際にデバッグして学べる﹁Secure Code Game﹂シーズン2がスタート﹁Secure Code Game﹂は、ゲームと名付けられていますが、実際のコードを月間60時間無料で提供されるGitHub Codespacesの機能を駆使して修正し、ユニットテストを通して完成させる手順となっており、実践に近い内容となっています。昨年︵2023年︶3月に開始されたシーズン1は、PythonとC言語でのセキュアなコーディングを学べる内容でした。今回のシーズン2ではこれらに加えてJavaScript、Go、そしてGitHub ActionsのYamlファイルなどが含まれており、これらのコードのバグを修正することになります。 Secure Code Gameの始め方﹁Secure Code Game﹂の始め方は次の通りです。まず﹁Secure Code G

minamishinji 2024/02/19

面白いし、うまいなぁ。

リンク

GitHub資格認定プログラムが一般ユーザも利用可能に | gihyo.jp

2024年1月8日、GitHubはこれまでGitHub/Microsoftの従業員とパートナーのみが利用可能であったGitHub Certifications︵資格認定︶プログラムを、世界中のすべての顧客も利用可能とすることを発表した。1月8日から誰でも登録サイトにアクセスしてGitHub Certificationsの学習と認定試験の準備を進めることができる。 GitHub Certifications are generally available -The GitHub Blog利用可能な認定プログラムは以下の4種。 GitHub Foundations Certification GitHubプラットフォームの基本的な概念とGitHub製品を初めて学ぶ人向け。gitの使用方法からリポジトリ管理、コミット、ブランチ、マージ、プロジェクト管理などのGitHubコア機能をひと通り学習で

minamishinji 2024/01/10

リンク

GitHub、1200台以上のMySQL 5.7を8.0へアップグレード。サービス無停止のまま成功させる

GitHub、1200台以上のMySQL 5.7を8.0へアップグレード。サービス無停止のまま成功させる GitHubが提供するGitHub.comは、世界最大のソースコード管理システムを始めとするソフトウェア開発者向け支援サービスを提供しています。そのGitHub.comはRubyonRailsで構築されており、同社はつねにRubyとRubyonRailsをアップデートし続けていることを今年︵2023年︶4月に明らかにしています。参考‥GitHubは200万行規模のRailsアプリケーションであり、毎週RailsとRubyを最新版にアップデートし続けているそして同社はこのGitHub.comを支える1200台以上のMySQL 5.7を、GitHub.comのサービスレベルを維持したまま1年以上かけてMySQL 8.0にアップグレードしたことをブログで明らかにしました。Up

minamishinji 2023/12/12

すばらしい。

リンク

「それは、本当に安全なんですか？」　セキュリティ専門家が「GitHub Copilot」の全社一斉導入時に考えたあれこれ

﹁GitHub Copilot 導入時に考えたセキュリティのあれこれ﹂というタイトルで登壇したのは、freee株式会社のただただし氏。タイミー社主催の﹁GitHub Copilotで拓く開発生産性﹂で、﹁GitHub Copilot ﹂を全社一斉導入する際に考えるべきセキュリティリスクについて発表しました。 freee株式会社 PSIRT マネージャーのただただし氏ただただし氏‥freee株式会社のただただしと申します。今日は、﹁GitHub Copilot 導入時に考えたセキュリティのあれこれ﹂ということで、Copilotのセキュリティリスクについて語るわけですが、考えてみたら、GitHubの中の人を前にこんなことをしゃべるのは相当大胆な話だと思います。最後にいいことで締めるのでちょっと我慢してください。自己紹介をいたします。ただただしと申します。PSIRTという組織でマネージャー

minamishinji 2023/10/20

Copilotの硬直化については興味ある。どうなるんだろうね。 / 人間の老化と似てるなーと感じた。 ●github ●ai

リンク

GitHubは200万行規模のRailsアプリケーションであり、毎週RailsとRubyを最新版にアップデートし続けている

GitHubは200万行規模のRailsアプリケーションであり、毎週RailsとRubyを最新版にアップデートし続けている4月10日でサービス開始からちょうど15周年を迎えたGitHubは、当初からRubyonRailsを用いたモノリシックなアプリケーションとして作られてきました。現在では200万行近い規模のコードになっているそうです。今年1月にはGtHubを利用しているデベロッパーが1億人に到達したことも発表しました。GitHubはまさに世界最大級のRailsアプリケーションだと言っていいでしょう。そのGitHubは5年前の2018年、Railsのバージョンを3.2から5.2に上げる作業に1年半を費やし。そして二度とこのようなことにならないよう、より頻繁にアップデートを行うべき、などの教訓を得たとしていました。そして現在、GitHubは毎週月曜日にRailsのアップデート作業

minamishinji 2023/04/12

なんだかんだ言われてる（た？）けど、Railsすごいよね。そしてその運用も凄い。

rails
github

リンク

GitHub に漏れ出た内部コードを探す ~ 上場企業 3900社編 ~ - ぶるーたるごぶりん

全1回、このシリーズは今回で最後です！ TL;DR 上場企業 3900 社程に対して、すごく大雑把な﹁内部コード等の漏洩調査﹂を GitHub 上で行った結果としては、重要度の高いものから低いものまで10社ほどで漏洩が確認された重要度の高いものとして、社外秘っぽそうなスプレッドシート、社員のハッシュ化パスワード(BCrypt)、 AWS Credential 等﹁大雑把な﹂調査を行ったが、より精度の高い方法等について記事内にて触れていく脅威インテルとか DLP みたいなエリアとかも、外部企業とかに頼るだけじゃなく﹁自分たちでも﹂頑張ってみるのがいいんだと思います GitHub Code Search ... すげえぜ！ Google Dorks ならぬ、 GitHub Dorks + GitHub Code Search でまだまだいろいろできるはず。はじめにチャオ！今回は

minamishinji 2023/04/06

リンク

「日本の開発者はプルリクエスト経由でコードを出す割合が最も高い」などGitHubの2022年のトレンドまとめ

GitHubリポジトリやオープンソース関連の分析を手がけるOSS Insightが、2022年のGitHub利用実態のトレンドを発表しました。これにより、各国の開発者の特色やオープンソース開発でよく使われる言語などの傾向が浮き彫りとなっています。 Open Source Highlights: Trends and Insights from GitHub 2022 | OSS Insight https://ossinsight.io/2022/ まず、2022年1月1日～9月30日までの期間にGitHubで発生したイベントを集計し、それらを行った開発者がいる地域の上位10カ国をまとめたのが以下です。日本の開発者はプルリクエストでコードを出すことが最も多く、日本の開発者による「PullRequestEvent」イベントの割合は「PullRequestEvent」イベント全体の10％でした

minamishinji 2022/12/27

Rubyの動きが気になるけど、それでもこの地位にあるんだから十分主要言語だね。

リンク

［速報］GitHub Codespacesが全ユーザーに無料提供へ、毎月60時間分。JetBrainsとJupyterLabもIDEとして選択可能に

［速報］GitHub Codespacesが全ユーザーに無料提供へ、毎月60時間分。JetBrainsとJupyterLabもIDEとして選択可能に GitHubは年次イベント「GitHub Universe 2022」の基調講演で、これまで有料プランのGitHub TeamとGitHub Enterpriseのユーザーに対して提供していた「GitHub Codespaces」を、無料プランの個人ユーザーにも毎月60時間まで無料で提供することを発表しました。 We’re here to help you push what’s possible: Starting today, we’re rolling out GitHub Codespaces for all, with access to 60 hours of GitHub Codespaces free(!) every mon

minamishinji 2022/11/10

60時間使えるなら趣味なら十分かも。

リンク

GitHubの利用をやめるようオープンソースソフトウェア非営利団体が強く呼びかけ

オープンソースソフトウェアコミュニティのために活動している非営利団体・Software Freedom Conservancyが、「GitHub」の利用をやめて他プラットフォームへの移行支援を行う長期計画を発表しました。以前からGitHubを避けるようにという呼びかけは行ってきましたが、あまり効果がないため、より強い行動に出た形です。 Give Up GitHub: The Time Has Come! - Conservancy Blog - Software Freedom Conservancy https://sfconservancy.org/blog/2022/jun/30/give-up-github-launch/ Give up GitHub: The time has come | Hacker News https://news.ycombinator.com/ite

minamishinji 2022/07/04

質問に対して黙っているのは気になるよね。Microsoftはまた嫌な側面が押し出されるようになってきた気がする。

リンク

LinuxカーネルにNTFSドライバーが追加、トーバルズ氏はGitHub経由のマージに苦言

印刷するメールで送るテキスト HTML 電子書籍 PDF ダウンロードテキスト電子書籍 PDF クリップした記事をMyページから読むことができます Linuxの生みの親であるLinus Torvalds氏は、LinuxカーネルにParagon SoftwareのNTFS3カーネルドライバーを導入することに同意し、Linuxカーネル5.15ではNTFSファイルシステムのサポートが強化されることになった。ただし同氏は、カーネルにコードをサブミットする際の手順とセキュリティに関する対応に苦言を呈した。 Paragon SoftwareのNTFSドライバーは、LinuxでWindowsのNTFSドライブを簡単に扱えるようにするものだ。NTFSはFATの後継にあたるMicrosoft独自のファイルシステムで、これによって数十年にわたって続いたNTFSがらみの困難が解消されることになる。To

minamishinji 2021/09/09

真っ当な指摘だった。（Githubの仕組みがどうなっているか詳しくは知らないが…）NTFS使いやすくなるのかな。

github
linux

リンク

Git入門 v1.1.0

Frontrend Vol.6 powered by CyberAgent, Inc. http://frontrend.doorkeeper.jp/events/6907 で発表したプレゼン資料です。こういう資料に対する投げ銭的なのがどうなるのか気になっていたので、もしよろしければ・・・！15円からできるソーシャルカンパサービスだそうですm(_ _)m http://kampa.me/t/dev

minamishinji 2020/10/08

これはわかりやすい。

リンク

GitHubの新機能「GitHub Actions」で試すCI/CD | さくらのナレッジ

GitHubが2019年11月、新機能﹁GitHub Actions﹂を正式に公開した。GitHub上のリポジトリやイシューに対するさまざまな操作をトリガーとしてあらかじめ定義しておいた処理を実行できる機能で、今まで外部サービスとの連携が必要だった自動テストや自動ビルドなどがGitHubだけで実現できるようになる。今回はこのGitHub Actionsについて、機能の概要や基本的な使い方などを紹介する。 GitHubだけでCI/CD的な機能を実現できる﹁GitHub Actions﹂昨今では、ソフトウェア開発におけるさまざまな工程を自動化するような技術の開発や普及が進んでいる。その1つに、CI︵Continuous Integration、継続的インテグレーション︶やCD︵Continuous Delivery、継続的デリバリー︶と呼ばれるものがある。CIはソフトウェアのビルドやテストを

minamishinji 2020/02/10

リンク

オープンソースの開発者を経済的に支援できる「GitHub Sponsors」、日本を含む30カ国で正式サービスに

GitHubは、オープンソースソフトウェアの開発に携わる開発者に経済的な支援を行えるサービス「GitHub Sponsors」がベータ版を脱し、日本を含む30カ国で正式サービスになったことを発表しました。 GitHub Sponsorsは、支援を受ける「スポンサード開発者」に対して、あらかじめスポンサード開発者が設定した月次の支払金額などを寄付することでGitHub上で経済的支援が行えるサービスです。また、オープンソースのコントリビュータが質問に答えてくれた時や問題をトリアージしてくれた時、あるいはコードをマージしてくれた時などにも、そのコントリビュータのプロファイルに移動するか、ユーザ名にカーソルを合わせるだけで、資金援助を行うことができます。オープンソースプロジェクトにコントリビュートしている人は誰でも、将来スポンサード開発者になる資格があり、自分のGitHubリポジトリのページに

minamishinji 2019/11/06

すごくいい

リンク

全社的に会社用GitHubアカウントを廃止した件 - ZOZO TECH BLOG

はじめまして。2019年1月に入社したSREスペシャリストのsonotsです。最近MLOpsチームのリーダーになりました。今回の記事はMLOpsの業務とは関係がないのですが、3月に弊社で実施した会社用GitHub個人アカウントの廃止について事例報告します。 TL;DR 会社用GitHubアカウントを作るべきか否か問題会社用GitHubアカウントの利用で抱えた問題 1. OSS活動時にアカウントを切り替える必要があり面倒 2. GitHubの規約に準拠していない会社用アカウントを廃止した場合にセキュリティをどのように担保するか GitHubのSAML single sign-on (SSO)機能について会社用アカウントの廃止およびSSO有効化の実施会社用GitHubアカウントを使い続ける場合私用GitHubアカウントに切り替える場合 Botアカウントの場合 Outside Coll

minamishinji 2019/04/11

リンク

GitHub、無料ユーザーもプライベートリポジトリを使い放題に

米Microsoft傘下の開発者向けのソースコード共有サービスGitHubは1月7日（現地時間）、無料ユーザーでもプライベートリポジトリを使えるようにしたと発表した。これまでは、ソースコードを非公開にできるプライベートリポジトリを使えるのは月額7ドル以上の有料ユーザーのみだった。新プランでは、無料ユーザーでも無制限にプライベートリポジトリを使えるが、共有できるのは3人までだ。また、有料プランの構成を変えた。従来「Developer」という呼称だった月額7ドルの個人向けプランは「Pro」に、GitHubのみで使うものと自社サーバでのホスティングも可能なものの2つに分かれていた2つのビジネス向けプランが1つになり、「Enterprise」という呼称になった。料金は変更なしだ。

minamishinji 2019/01/08

ほう！

github

リンク

【海外ITトピックス】 “オープンソースコミュニティの中心部”がMicrosoftに　75億ドルのGitHub買収

minamishinji 2018/06/11

Microsoftがgithubを買うこと自体は悪くない戦略だと思うけれど不審だけじゃなく、結局どう使うの？というのがわからん。それはGoogleでも同じ。どちらももうGitHubが持っているようなオープンネスの真逆にいる。 ●github

リンク

マイクロソフト、開発者向け共有サイト買収　8200億円　　：日本経済新聞

【シリコンバレー=白石武志】米マイクロソフト（MS）は4日、ソフト開発者が設計図（ソースコード）を公開・共有できるサイトを運営する米ギットハブを75億ドル（約8200億円）で買収すると発表した。MSは世界で約2800万人が利用するギットハブを取り込むことで、ソフト開発者向けのクラウドサービス事業を強化する。ギットハブは2008年の設立。スマートフォンの普及などとともに、無償公開し自由に改良でき

minamishinji 2018/06/05

タイトルからは消えてるけど、記事には設計図って書いてあるんだね。「設計書」の方がまだ近い。さすがにもうソースコードでいいと思うけどね。

リンク

Microsoft has reportedly acquired GitHub

Microsoft has reportedly acquired GitHub / Deal could be announced on Monday By Tom Warren, a senior editor covering Microsoft, PC gaming, console, and tech. He founded WinRumors, a site dedicated to Microsoft news, before joining The Verge in 2012. Microsoft has reportedly acquired GitHub, and could announce the deal as early as Monday. Bloomberg reports that the software giant has agreed to acqu

minamishinji 2018/06/04

最近のMicrosoftの動きからすればおかしくないけど、何か受け入れがたいな…

リンク

GitLab、Slackライクなサービス「Gitter」をオープンソースで公開。MacOS対応。Windows版とLinux版も作業中

GitLab、Slackライクなサービス﹁Gitter﹂をオープンソースで公開。MacOS対応。Windows版とLinux版も作業中ソースコード管理サービスを提供するGitLabは、GitHubなどに対応する開発者向けチャットサービス﹁Gitter﹂をオープンソースとして公開しました。公開先は当然ながらGitHubではなくGitLab.orgです。Gitterは今年3月にGitLabに買収されました。このときには有償プランが廃止され、何人でも無料で利用可能になっています。そしてこのときに同じくGitterをオープンソースにすることも約束されており、今回その約束が果たされたことになります。Gitterとは、GitHubやTwitterのアカウントを用いて誰でも簡単にチャットルームを開始できるサービスです。Slackに似ていて、GitHubと連携して開発中のソフトウェアに関するコミュ

minamishinji 2017/07/06

これ使ってみたい！

リンク

はてなブックマーク

タグ

関連タグで絞り込む (19)

githubに関するminamishinjiのブックマーク (27)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第3週）

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス