AIを使ったTeXの数学資料作成術〜VsCode/GitHub Copilot/Claude4/GPT5 🔖 2

数学の資料づくりに TeX(LaTeX)を利用している人は多いと思います。プログラマの私がコーディングに使っているVsCode+GitHub Copilot環境を使って、実際に資料を作るデモ動画です。コードと数学のTeX文章の違い数学のTeX文章は、「コード」の意...

GitHub - sacloud/sacloud-otel-collector 🔖 15

Google、非同期コーディングエージェント「Jules」を一般公開 ～無償でも利用可能／「GitHub」と統合、「Gemini 2.5 Pro」で計画・解決 🔖 221

GitHubで最もスターを獲得したオープンソースAIプロジェクト20選 🔖 49

オリジナルの公開場所: https://www.nocobase.com/ja/blog/github-open-source-ai-projects.2025年8月5日、OpenAI は2つのオープンソース大規模言語モデル（LLM）gpt-oss-120b と gpt-...

AI駆動開発「バイブ コーディング カフェ」 #Shipaton で GitHub Copilot ライブデモ登壇した 🔖 3

2025/7/31 は、六本木で 4 日間に渡り開催され、事前登録制で延べ 360 人以上が (物理) 参加したイベント「Vibe Coding カフェ」 にてGitHub Copilot を使ったライブデモをさせていただきました！ とても楽しかったです！この記事では、...

GitHub - openai/gpt-oss: gpt-oss-120b and gpt-oss-20b are two open-weight language models by OpenAI 🔖 25

GitHub Actions 経由で Vertex AI Agent Engine に ADK エージェントをデプロイする際ハマったこと 🔖 1

こんにちは！機械学習エンジニアをしている深澤です。 Google Agent Development Kit(ADK) を用いてエージェント開発をしており、Vertex AI Agent Engine を活用しています。 その際に悩み抜いたことがあり、ようやく解決できたので学びを

【最新】GitHub ActionsでGemini CLIを活用してみよう 🔖 4

Googleは2025年8月6日、Gemini CLI GitHub Actionsをベータ公開したようです！ターミナル向けのオープンソースAIエージェントGemini CLIをワークフローイベント（Issue/PR など）で非同期に呼び出し、ラベル付け、コードレビュー、さらに

【GitHub Copilot Agent × MCP GitHub, Atlassian】 AI Agent に障害調査・解決を代行させながら作業ログを残させるSRE活用事例 🔖 1

あいさつ こんにちは！ 技術本部 技術戦略Div. リードエンジニアの関根です！ 2024年9月にジョインして、コツコツSRE活動を進めておりますっ 最近は、SRE活動のスピードアップのため、AI Agent × MCPサーバーを活用した業務の効率化に取り組んでいます。 最近、長

GitHubマージキューのエラー通知 🔖 1

こんにちは、タイミーでPlatform Engineerをしている近藤です。 マージキュー上のエラー通知について GitHubのマージキューは、チームが効率的かつ安全にコードをリリースするために欠かせない仕組みです。特に、大規模なチームや頻繁にコードをデプロイするプロジェクトでは

GitHub Notificationsの未読通知を活用したPull Request / Issueのトリアージを実現するGitHub CLIエクステンションgh triageを作った - Copy/Cut/Paste/Hatena 🔖 38

テイラーでは開発にGitHubを使用しているのですが、それはもう毎日たくさんのPull Request / Issueが作られます。 RenovateなどのPull Requestの数も影響していますが、それを差し引いても構成人数比でいうと多い印象があります。 GitHub No

GitHub CLI のアカウントをレポジトリごとに自動的に切り替える 🔖 1

TL;DR社用とプライベート用などで複数の GitHub アカウントを使い分けている場合、レポジトリを移動するたびに gh コマンドのログインユーザーを切り替えるのが面倒だったGit の user

GitHub - lslvr/mwm: The smallest (actually usable) window manager. 🔖 13

【Github Copilot】設計書があるなら、全部Copilotに実装させよう 🔖 163

ウォーターフォールモデルに則った大規模開発で設計書があるなら、全部Copilotに実装させよう！をコンセプトに、どうすれば設計書をインプットに、Github Copilotが大規模開発の品質に沿ったコードを生成してくれるか、の完成版です。前回の記事では途中経過でしたが、自分なりに

GitHub Copilot Agent × Confluenceで設計書からシーケンス図を簡単に生成する 🔖 2

こんにちは。LOHACOのバックエンド開発部のさわだです。 新規開発するバッチの設計書を作成することになったのですが、設計書内のシーケンス図の作成にGitHub Copilot Agentを使用してみたところ作成にかかる時間を短縮できました。 今回は、GitHub Copilot

GitHubマージキューのRulesetsの非互換性：bypass機能が使えなくなる問題 🔖 1

こんにちは、タイミーでバックエンドのテックリードをしている新谷 (@euglena1215) です。 このシリーズでは「モノリスRailsにマージキューを導入してデプロイフローを安定させる」の続編として、導入時のTIPSを紹介しています。前回は「GitHubマージキューTIPS：

GitHub - WICG/html-in-canvas 🔖 19

このMCPはプロジェクト全体を把握 VSCode GitHub Copilotで 「Serena MCP」を使う方法 🔖 214

GitHub Copilotシリーズ はじめに 最近 Claude Code やKiro などプロジェクト全体を監視して、コードを書いたり、要件定義や設計やタスクリストを自動で作成したりと進化が激しいです。 一方、GitHub Copilotは全体をみるというよりも、現在の開いて

2025年7月現在の Cursor と VS Code + Github Copilot の比較 🔖 61

はじめに 僕は普段 Cursor を使って開発しているのですが、チームでは Github Copilot を利用しているので、両者のメリデメを整理するために記事を作成しました。 比較記事は過去のものがたくさん存在していますが、アップデートによって状況が大きく変わるため、あらためて

GitHub Projectsを自動化するGitHub CLIテクニック / Automate GitHub Projects with GitHub CLI 🔖 41

Sansan vs サイボウズ 開発生産性Tips夏祭り のLT資料です。 イベント情報はこちら↓ https://cybozu.connpass.com/event/322718/ 配信アーカイブ↓ https://www.youtube.com/watch?v=v_tSPrC

GitHub - ethersync/ethersync: Editor-agnostic, real-time collaborative editing of local text files. 🔖 14

2025年7月現在の Cursor と VS Code + Github Copilot の比較 🔖 61

はじめに僕は普段 Cursor を使って開発しているのですが、チームでは Github Copilot を利用しているので、両者のメリデメを整理するために記事を作成しました。比較記事は過去のものがたくさん存在していますが、アップデートによって状況が大きく変わるため、あらためて

2025年7月現在の Cursor と VS Code + Github Copilot の比較 🔖 61

はじめに僕は普段 Cursor を使って開発しているのですが、チームでは Github Copilot を利用しているので、両者のメリデメを整理するために記事を作成しました。比較記事は過去のものがたくさん存在していますが、アップデートによって状況が大きく変わるため、あらためて

GitHubマージキューTIPS：CIの実行を最適化し、障害対応を10分高速化する 🔖 2

こんにちは、タイミーでバックエンドのテックリードをしている新谷 (@euglena1215) です。 このシリーズでは「モノリスRailsにマージキューを導入してデプロイフローを安定させる」の続編として、導入時に工夫した点や直面した課題をTIPS形式で紹介しています。前回の記事で

GitHubマージキューの制約：マージメソッドが1つに強制される 🔖 1

こんにちは、タイミーでバックエンドのテックリードをしている新谷 (@euglena1215) です。 先日公開した記事 「モノリスRailsにマージキューを導入してデプロイフローを安定させる」 では、多くの開発者が関わるモノリスリポジトリのデプロイフローを安定させるために、Git

GitHub - mizchi/ts-lib-starter-20250729 🔖 12

ヘルプセンターのライティングフローをGitHub PRベースに改善した話 🔖 3

こんにちは。kickflow CREチームの西山です。 SaaS企業においてテクニカルサポートは、顧客のプロダクトに対する信頼度や愛着といったロイヤリティを左右する重要な一要素です。中でもユーザーがセルフサービス（自己解決）できる質の高いヘルプセンターの提供が、カスタマー・エクス

GeminiアプリでGitHubリポジトリを解説させてみた 🔖 2

G-gen の三浦です。当記事では、特定の GitHub リポジトリの内容を Gemini アプリに解説させる方法を紹介します。 概要 当機能について Gemini アプリとは 前提条件 検証手順 検証 リポジトリとディレクトリ構成 main.py error/error.py

GitHub - kentik/ktranslate: System for pulling and pushing network data. 🔖 11

mainブランチマージしたら他のブランチにもマージPRを作成するGitHub Actions 🔖 1

前提の話ブランチ運用の話CI / CD周りブランチ名がそのままリモートの開発環境へデプロイするような運用main: 本番環境 一番StableでLatestなブランチその他の環境staging: ステージング環境...etc環境要するにmain更新され

Sentry エラーを Slack、GitHub 連携で Cursor と共に解析する未来 🔖 1

こんにちは、ENECHANGE で EV Dev チームのエンジニアをしている利廣です。 私は日々 EV充電 アプリの開発に携わっているのですが、アプリ開発において避けて通れないのが「エラーの解析」です。特に本番環境でのエラーは、迅速な対応が求められる一方で、調査に時間がかかると

GitHub Spark - Dream it. See it. Ship it. 🔖 28

GitHub Actionsでテストカバレッジの増減を可視化することによりホーソン効果を狙う - 理系学生日記 🔖 60

まぁよくやられている話なんだけど。 自動テスト頑張りましょうみたいな話をしても、大体そうですねで終わる。これには色々理由もあって、3分くらい考えても テスト書く時間があったらまずはプロダクションコードの実装を終わらせろや、そうじゃないとリリース遅延するだろうがみたいに怒られる 長

GitHub、自然言語の指示だけでアプリが自動生成される「GitHub Spark」パブリックプレビュー開始 🔖 46

GitHubは、自然言語で指示するだけで生成AIによってTypeScriptとReactを用いたフルスタックのアプリケーションが自動的に生成される「GitHub Spark」のパブリックプレビュー開始を発表しました。 Today we’re releasing GitHub Sp

「GitHub Spark」のプレビューが開始、AIに説明するだけで本格的Webアプリができあがり／まずは「Copilot Pro+」ユーザーに提供 🔖 34

NotionのGitHubプルリクエスト連携機能をGitHub Actionsで代用してみた 🔖 1

こんにちは！CastingONEの大沼です。 始めにNotionのプロパティにはGitHubプルリクエストを設定することができ、そこにGitHubプルリクエストのURLを貼ったり、逆にGitHubプルリクエストのタイトルにTSK-123などNotionのIDプロパティの文字

解凍・圧縮ソフト「7-Zip」にヒープバッファーオーバーフローの脆弱性、GitHubが報告／修正版への更新を 🔖 230

GitHub - superagent-ai/grok-cli: An open-source AI agent that brings the power of Grok directly into your terminal. 🔖 20

GitHub、Googleアカウントでログイン可能に | gihyo.jp 🔖 15

GitHubは2025年7月15日、Googleソーシャル認証情報を使ってGitHubアカウントにサインアップ、ログイン可能となったことを発表した。 Social login with Google is now generally available -GitHub Chang

Microsoft Learn Docs の MCP Server で GitHub Copilot が Azure 超詳しいマンになる 🔖 49

はじめに Microsoft Learn Docs の MCP Server で GitHub Copilot が Azure 超詳しいマンになるという話をします。 Microsoft Learn の Docs の MCP Server が先日公開されました。ドキュメントはこちら

Microsoft Learn Docs の MCP Server で GitHub Copilot が Azure 超詳しいマンになる 🔖 49

はじめにMicrosoft Learn Docs の MCP Server で GitHub Copilot が Azure 超詳しいマンになるという話をします。Microsoft Learn の Docs の MCP Server が先日公開されました。ドキュメントはこちら

エムスリーの GitHub 移行、SRE の道中記 - エムスリーテックブログ 🔖 55

こんにちは。エムスリーで SRE エンジニアをしている伴です。 このブログは SRE チームブログリレー 5日目の記事です。 M3 Tech Blog でも AI を開発に活用した記事が多く出ていますが、弊社では開発への AI 活用が積極的に進められています。 その流れで、Git

エムスリーの GitHub 移行、SRE の道中記 🔖 55

こんにちは。エムスリーで SRE エンジニアをしている伴です。 このブログは SRE チームブログリレー 5日目の記事です。 M3 Tech Blog でも AI を開発に活用した記事が多く出ていますが、弊社では開発への AI 活用が積極的に進められています。 その流れで、Git

そのGitHubのリンク、消えるよ 🔖 48

はじめに そのGitHubのリンク、消えるよ とある天才も開発現場でこう言ってるかもしれないです。 あなたがドキュメントや、Pull Requestのコメント、Slackに貼り付けたGitHubのコードへのリンク。 数ヶ月後、あるいは数年後にそのリンクを開いたとき、「404 No

レガシーなGitHub Actionsの刷新 🔖 1

はじめに 株式会社 AJA でバックエンドエンジニアをしている片山です。 「GitHub Actio ...

Claude Code GitHub ActionsとTerraformの組み合わせはいいぞ 🔖 2

こんにちは、JX通信社のCTOの小笠原(@yamitzky)です。 この記事では、TerraformとClaude Code GitHub Actionsを活用した、権限管理の効率化の取り組みについてご紹介します。 権限管理の課題と Terraform による IaC 化 JX通

さくらのAppRunにNode.js+SQLiteアプリを簡単デプロイできるGitHub Actionを作った 🔖 14

はじめにさくらのクラウドに新しく登場した「AppRun」は、コンテナアプリケーションを簡単にデプロイできるマネージドサービスです。しかし、デプロイの手順が少し煩雑で、Dockerfileの作成やレジストリへのプッシュなど、いくつかの手順を踏む必要があります。また、コンテナ環境

GitHub Self-hostedに移行しました。CIが最大55%速くになり、月額が300万円節約できた！ 🔖 184

こんにちは、SODAのSREチームのDucと申します。 GitHub Actionsのコストを削減しながらCIワークフローを高速化したの工夫をご紹介します。 背景 私たちのチームは、snkrdunk.comサイトとSNKRDUNKモバイルアプリの可用性とパフォーマンスの維持に注力

「Visual Studio Code」2025年6月更新 ～人気のMCPサーバーを簡単導入、拡張機能のように管理／オープンソースになった「GitHub Copilot Chat」拡張機能にも注目のv1.102.0が公開 🔖 59

CursorでGitHubのissueとproject管理 🔖 1

ReazonホールディングスでEM的な役職についています、窪田です．最近PMのようにタスクを作り、整理することが増えてきました．現在参加しているプロジェクトでは、GitHub Projectと、GitHub Issuesを用いてタスク管理を行っているのですが、GitHu...